Compositional Derivation of Symmetries for Constraint Satisfaction

This paper reconsiders the problems of discovering symmetries in constraint satisfaction problems (CSPs). It proposes a compositional approach which derives symmetries of the applications from primitive constraints. Its key insight is the recognition of the special role of global constraints in symmetry detection. Once the symmetries of global constraints are available, it often becomes much easier to derive symmetries compositionally and efficiently. The paper demonstrates the potential of this approach by studying several classes of value and variable symmetries and applying the resulting techniques to two nontrivial applications. The paper also discusses the potential of reformulations and el modeling abstractions to strengthen symmetry discovery.

• Type: Conference
• Year: 2005
• Where: SARA
• Authors: Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren
• Keywords: Artificial Intelligence, Constraint Satisfaction Problems, Global Constraints, SARA 2005, Symmetries