On the reification of global constraints

We introduce a simple idea for deriving reified global constraints in a systematic way. It is based on the observation that most global constraints can be reformulated as a conjunction of total function constraints together with a constraint that can be easily reified.

[1]  Pascal Van Hentenryck,et al.  The Cardinality Operator: A New Logical Connective for Constraint Logic Programming , 1990, WCLP.

[2]  Peter Nightingale,et al.  Implementing logical connectives in constraint programming , 2010, Artif. Intell..

[3]  Nicolas Beldiceanu,et al.  Global Constraint Catalog, 2nd Edition (revision a) , 2012 .

[4]  Nicolas Beldiceanu,et al.  Global Constraint Catalog , 2005 .

[5]  Nadjib Lazaar.  Méthodologie et outil de Test, de localisation de fautes et de correction automatique des programmes à contraintes , 2011 .

[6]  Mats Carlsson,et al.  Global Constraint Catalog, 2nd Edition , 2010 .

[7]  Peter J. Stuckey,et al.  Half Reification and Flattening , 2011, CP.

[8]  Mats Carlsson,et al.  A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules , 2008, CP.

[9]  Mats Carlsson,et al.  On Matrices, Automata, and Double Counting , 2010, CPAIOR.

[10]  Peter J. Stuckey,et al.  The Design of the Zinc Modelling Language , 2008, Constraints.

[11]  Gilles Pesant,et al.  A Regular Language Membership Constraint for Finite Sequences of Variables , 2004, CP.

[12]  Jörg Würtz,et al.  Constructive Disjunction Revisited , 1996, KI.

[13]  Mats Carlsson,et al.  Deriving Filtering Algorithms from Constraint Checkers , 2004, CP.

[14]  Ian P. Gent,et al.  Minion: A Fast Scalable Constraint Solver , 2006, ECAI.

[15]  Jean-Charles Régin,et al.  A Filtering Algorithm for Constraints of Difference in CSPs , 1994, AAAI.

[16]  Nicolas Beldiceanu,et al.  Extending CHIP in order to solve complex scheduling and placement problems , 1993, JFPL.

[17]  Carlos Eduardo,et al.  Automated Reasoning on Feature Models via Constraint Programming , 2011 .

[18]  Helmut Simonis,et al.  A Constraint Seeker: Finding and Ranking Global Constraints from Examples , 2011, CP.

[19]  Toby Walsh,et al.  Decompositions of All Different, Global Cardinality and Related Constraints , 2009, IJCAI.