Chaff: Engineering an Efficient SAT Solver.

Matthew W. Moskewicz Conor F. Madigan Ying Zhao Lintao Zhang Sharad Malik

Published in: DAC (2001)

Keyphrases

sat solvers
sat solving
orders of magnitude
sat problem
constraint satisfaction
search strategies
sat instances
propositional satisfiability
boolean satisfiability
sat encodings
search space
max sat
search tree
constraint solver