Keyphrases
- sat encodings
- sat solvers
- pseudo boolean constraints
- sat solving
- combinatorial problems
- graph coloring
- constraint satisfaction problems
- planning problems
- logic programming
- solving problems
- search strategies
- unit propagation
- propositional satisfiability
- sat problem
- integer linear programming
- search space
- orders of magnitude
- simulated annealing