Keyphrases
- symmetry breaking
- constraint programming
- search tree
- global constraints
- boolean satisfiability
- quantified boolean formulae
- constraint satisfaction problems
- integer linear programming
- graph coloring
- symmetry breaking constraints
- constraint satisfaction
- sat solvers
- search algorithm
- computational complexity
- search space