Combining Symmetry Breaking and Global Constraints
Abstract
We propose a new family of constraints which combine together lexicographical ordering constraints for symmetry breaking with other common global constraints. We give a general purpose propagator for this family of constraints, and show how to improve its complexity by exploiting properties of the included global constraints.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2009
- DOI:
- 10.48550/arXiv.0903.0479
- arXiv:
- arXiv:0903.0479
- Bibcode:
- 2009arXiv0903.0479K
- Keywords:
-
- Computer Science - Artificial Intelligence
- E-Print:
- 15 pages, 4 figures