Enhancing Clause Learning by Symmetry in SAT Solvers.

Belaid Benhamou Tarek Nabhani Richard Ostrowski Mohamed Réda Saïdi

Published in: ICTAI (1) (2010)

Keyphrases

sat solvers
clause learning
symmetry breaking
orders of magnitude
sat solving
constraint satisfaction
propositional satisfiability
search space
sat problem
search strategies
max sat
sat instances
search tree
boolean satisfiability
satisfiability problem
davis putnam
boolean formula
constraint programming