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.

• Type: Conference
• Year: 2008
• Where: CSCLP
• Authors: George Katsirelos, Nina Narodytska, Toby Walsh
• Keywords: Artificial Intelligence, Common Global Constraints, CSCLP 2008, Global Constraints, Lexicographical Ordering Constraints