On implementing symmetry detection

Automatic symmetry detection has received a significant amount of interest, which has resulted in a large number of proposed methods. This paper reports on our experiences while implementing the approach of Puget (CP2005, LNCS, vol. 3709, pp. 475–489. Springer, 2005). In particular, it proposes a modification to the approach to deal with general expressions, discusses the insights gained, and gives the results of an experimental evaluation of the accuracy and efficiency of the approach.

[1]  Krzysztof R. Apt,et al.  Constraint logic programming using Eclipse , 2007 .

[2]  Jean-François Puget,et al.  Automatic Detection of Variable and Value Symmetries , 2005, CP.

[3]  Philippe Jégou.  Decomposition of Domains Based on the Micro-Structure of Finite Constraint-Satisfaction Problems , 1993, AAAI.

[4]  Eugene C. Freuder.  Eliminating Interchangeable Values in Constraint Satisfaction Problems , 1991, AAAI.

[5]  Jean-François Puget,et al.  Breaking All Value Symmetries in Surjection Problems , 2005, CP.

[6]  Pascal Van Hentenryck,et al.  Compositional Derivation of Symmetries for Constraint Satisfaction , 2005, SARA.

[7]  Patrick Cousot,et al.  Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.

[8]  Toby Walsh,et al.  CSPLIB: A Benchmark Library for Constraints , 1999, CP.

[9]  François Pachet,et al.  Using Symmetry of Global Constraints to Speed up the Resolution of Constraint Satisfaction Problems , 2002 .

[10]  Ian Miguel,et al.  Constraints for Breaking More Row and Column Symmetries , 2003, CP.

[11]  Jean-François Puget.  Symmetry Breaking Revisited , 2002, CP.

[12]  James M. Crawford,et al.  Symmetry-Breaking Predicates for Search Problems , 1996, KR.

[13]  Kim Marriott,et al.  Independence in CLP languages , 2000, TOPL.

[14]  Igor L. Markov,et al.  Exploiting structure in symmetry detection for CNF , 2004, Proceedings. 41st Design Automation Conference, 2004..

[15]  Peter Jeavons,et al.  Symmetry Definitions for Constraint Satisfaction Problems , 2005, CP.

[16]  Toby Walsh,et al.  CGRASS: A System for Transforming Constraint Satisfaction Problems , 2002, International Workshop on Constraint Solving and Constraint Logic Programming.

[17]  Igor L. Markov,et al.  Automatically Exploiting Symmetries in Constraint Programming , 2004, CSCLP.

[18]  Warwick Harvey,et al.  Groups and Constraints: Symmetry Breaking during Search , 2002, CP.