Login / Signup
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