Keyphrases
- constraint satisfaction
- symmetry breaking
- constraint programming
- constraint satisfaction problems
- sat solvers
- combinatorial problems
- constraint propagation
- global constraints
- graph coloring
- boolean satisfiability
- phase transition
- arc consistency
- heuristic search
- integer programming
- search strategies
- constraint relaxation
- russian doll search
- search tree
- np hard
- symmetry breaking constraints
- search heuristics
- probabilistic reasoning
- np complete
- search space
- column generation
- orders of magnitude
- integer linear programming
- propositional logic
- benchmark problems