Combining Symmetry Breaking and Global Constraints.
George KatsirelosNina NarodytskaToby WalshPublished in: CSCLP (2008)
Keyphrases
- symmetry breaking
- global constraints
- constraint programming
- constraint satisfaction problems
- parameterized complexity
- combinatorial problems
- integer linear programming
- arc consistency
- weighted constraint satisfaction
- integer programming
- cost function
- search tree
- search space
- constraint satisfaction
- constraint propagation