Keyphrases
- sat solving
- sat encodings
- sat solvers
- clause learning
- max sat
- boolean satisfiability
- orders of magnitude
- sat problem
- combinatorial problems
- propositional satisfiability
- constraint satisfaction
- constraint satisfaction problems
- search space
- search strategies
- graph coloring
- lower bound
- sat instances
- answer sets
- constraint programming
- tabu search
- branch and bound
- integer linear programming