Exploiting Configurations of MaxSAT Solvers.

Josep Alòs Carlos Ansótegui Josep M. Salvia Eduard Torres

Published in: CP (2023)

Keyphrases

sat solvers
maximum satisfiability
upper bound
sat solving
database
sat problem
sat instances
propositional satisfiability
computer vision
orders of magnitude
machine learning
learning algorithm
case study
search algorithm
lower bound
branch and bound algorithm
information retrieval