Groups and Constraints: Symmetry Breaking during Search.
Ian P. GentWarwick HarveyTom KelseyPublished in: CP (2002)
Keyphrases
- symmetry breaking
- constraint programming
- global constraints
- pseudo boolean
- search tree
- constraint satisfaction problems
- symmetry breaking constraints
- search algorithm
- integer linear programming
- combinatorial problems
- search strategies
- graph coloring
- constraint propagation
- integer programming
- search space
- column generation
- sat solvers
- constraint satisfaction