ZBDD-Based Backtrack Search SAT Solver.
Fadi A. AloulMaher N. MneimnehKarem A. SakallahPublished in: IWLS (2002)
Keyphrases
- sat solvers
- backtrack search
- propositional satisfiability
- orders of magnitude
- sat instances
- constraint satisfaction
- search strategies
- search space
- boolean satisfiability
- search tree
- sat solving
- sat problem
- max sat
- highly efficient
- boolean formula
- evolutionary algorithm
- information retrieval
- constraint satisfaction problems
- knowledge representation
- search algorithm