A reconfigurable, pipelined, conflict directed jumping search SAT solver.
Mona SafarM. Watheq El-KharashiMohamed ShalanAshraf SalemPublished in: DATE (2011)
Keyphrases
- sat solvers
- variable ordering
- search strategies
- search space
- propositional satisfiability
- constraint solver
- conflict directed
- search algorithm
- orders of magnitude
- symmetry breaking
- search strategy
- max sat
- sat solving
- sat problem
- sat instances
- constraint programming
- constraint satisfaction
- boolean satisfiability
- search problems
- constraint satisfaction problems
- lower bound