Combining Symmetry Breaking and Global Constraints
George KatsirelosNina NarodytskaToby WalshPublished in: CoRR (2009)
Keyphrases
- symmetry breaking
- global constraints
- constraint programming
- constraint satisfaction problems
- integer linear programming
- search tree
- combinatorial problems
- weighted constraint satisfaction
- parameterized complexity
- integer programming
- search strategies
- constraint propagation
- graph coloring
- decision problems
- fixed parameter tractable
- constraint satisfaction
- data structure