Combining Symmetry Breaking and Global Constraints
Artificial Intelligence
2009-03-04 v1
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.
Keywords
Cite
@article{arxiv.0903.0479,
title = {Combining Symmetry Breaking and Global Constraints},
author = {George Katsirelos and Nina Narodytska and Toby Walsh},
journal= {arXiv preprint arXiv:0903.0479},
year = {2009}
}
Comments
15 pages, 4 figures