Keyphrases
- sat solvers
- boolean formula
- clause learning
- search space
- orders of magnitude
- sat solving
- boolean satisfiability
- propositional satisfiability
- sat instances
- sat problem
- max sat
- constraint satisfaction
- search strategies
- search tree
- constraint solver
- sat encodings
- cnf formula
- search algorithm
- boolean variables
- np complete
- search strategy
- branch and bound
- constraint programming
- conjunctive normal form
- metaheuristic
- optimal solution
- unsatisfiable cores