Generalizing Boolean Satisfiability II: Theory

Heidi E. Dixon Matthew L. Ginsberg Eugene M. Luks Andrew J. Parkes

Published in: CoRR (2011)

Keyphrases

boolean satisfiability
sat solvers
branch and bound algorithm
randomly generated
sat solving
boolean optimization
sat problem
probabilistic planning
maximum satisfiability
search space
symmetry breaking