An Adaptive Model Restarts Heuristic

We propose an adaptive heuristic for model restarts that aligns symmetry breaking with the dynamic branching heuristic. Experiments show that this method performs very well compared to other symmetry breaking methods.

[1]  David Zuckerman,et al.  Optimal speedup of Las Vegas algorithms , 1993, [1993] The 2nd Israel Symposium on Theory and Computing Systems.

[2]  Pascal Van Hentenryck,et al.  Static and Dynamic Structural Symmetry Breaking , 2006, CP.

[3]  Jean-François Puget,et al.  On the Satisfiability of Symmetrical Constrained Satisfaction Problems , 1993, ISMIS.

[4]  Pascal Van Hentenryck,et al.  Tractable Symmetry Breaking for CSPs with Interchangeable Values , 2003, IJCAI.

[5]  Christian Bessière.  Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings , 2007, CP.

[6]  Toby Walsh,et al.  Symmetries of Symmetry Breaking Constraints , 2009, ECAI.

[7]  Toby Walsh,et al.  Breaking Symmetry of Interchangeable Variables and Values , 2007, CP.

[8]  Frédéric Benhamou.  Principles and Practice of Constraint Programming - CP 2006, 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings , 2006, CP.

[9]  Meinolf Sellmann,et al.  Model Restarts for Structural Symmetry Breaking , 2008, CP.

[10]  Lakhdar Sais,et al.  Boosting Systematic Search by Weighting Constraints , 2004, ECAI.

[11]  Nicolas Barnier,et al.  Solving the Kirkman's schoolgirl problem in a few seconds , 2002 .

[12]  Gert Smolka.  Principles and Practice of Constraint Programming-CP97 , 1997, Lecture Notes in Computer Science.

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

[14]  Zbigniew W. Ras,et al.  Methodologies for Intelligent Systems , 1991, Lecture Notes in Computer Science.

[15]  Toby Walsh.  Breaking Value Symmetry , 2007, CP.

[16]  Philippe Refalo,et al.  Impact-Based Search Strategies for Constraint Programming , 2004, CP.

[17]  Christopher Jefferson,et al.  GAPLex: Generalized Static Symmetry Breaking , 2010 .

[18]  Toby Walsh.  Symmetry Breaking Using Value Precedence , 2006, ECAI.

[19]  Meinolf Sellmann,et al.  Symmetry Breaking , 2001, CP.

[20]  Toby Walsh,et al.  Combining Symmetry Breaking and Global Constraints , 2009, CSCLP.

[21]  Toby Walsh,et al.  Propagation algorithms for lexicographic ordering constraints , 2006, Artif. Intell..

[22]  Ian P. Gent,et al.  Symmetry Breaking in Constraint Programming , 2000, ECAI.

[23]  Toby Walsh,et al.  General Symmetry Breaking Constraints , 2006, CP.

[24]  Toby Walsh,et al.  Breaking Row and Column Symmetries in Matrix Models , 2002, CP.

[25]  Y. Law,et al.  Symmetry Breaking Constraints for Value Symmetries in Constraint Satisfaction , 2006, Constraints.

[26]  Bart Selman,et al.  Heavy-Tailed Distributions in Combinatorial Search , 1997, CP.

[27]  Toby Walsh,et al.  Global Constraints for Lexicographic Orderings , 2002, CP.

[28]  Mark Wallace,et al.  Principles and Practice of Constraint Programming – CP 2004 , 2004, Lecture Notes in Computer Science.

[29]  Ilya Shlyakhter.  Generating effective symmetry-breaking predicates for search problems , 2007, Discret. Appl. Math..

[30]  Francesca Rossi,et al.  Principles and Practice of Constraint Programming – CP 2003 , 2003, Lecture Notes in Computer Science.

[31]  Roberto Rossi,et al.  Cost-Based Filtering for Stochastic Inventory Control , 2006, CSCLP.

[32]  Jean-François Puget.  Symmetry Breaking Using Stabilizers , 2003, CP.

[33]  Toby Walsh,et al.  Principles and Practice of Constraint Programming — CP 2001: 7th International Conference, CP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings , 2001, Lecture Notes in Computer Science.