Zchaff2004: An Efficient SAT Solver.

Yogesh S. Mahajan Zhaohui Fu Sharad Malik

Published in: SAT (Selected Papers (2004)

Keyphrases

sat solvers
orders of magnitude
sat solving
search strategies
search space
sat problem
constraint satisfaction
propositional satisfiability
max sat
sat instances
boolean satisfiability
search tree
clause learning
sat encodings
constraint programming
boolean formula
dynamic programming