Combining Symmetry Breaking and Global Constraints
classification
💻 cs.AI
keywords
constraintsglobalbreakingfamilysymmetrycombinecombiningcommon
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.