Keyphrases
- boolean satisfiability
- symmetry breaking
- constraint programming
- boolean optimization
- integer linear programming
- sat solving
- search tree
- probabilistic planning
- sat solvers
- branch and bound algorithm
- maximum satisfiability
- constraint satisfaction problems
- global constraints
- randomly generated
- graph coloring
- constraint satisfaction
- max sat
- sat problem
- uniform distribution