Generalizing Boolean Satisfiability II: Theory.

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

Published in: J. Artif. Intell. Res. (2004)

Keyphrases

boolean satisfiability
sat solvers
branch and bound algorithm
randomly generated
symmetry breaking
combinatorial problems
probabilistic planning
boolean optimization
search algorithm
search space
state space
constraint programming
branch and bound
integer linear programming
maximum satisfiability