Exploiting Configurations of MaxSAT Solvers.

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

Published in: CoRR (2023)

Keyphrases

sat solvers
maximum satisfiability
upper bound
boolean satisfiability
orders of magnitude
constraint satisfaction
sat solving
machine learning
computer vision