Integrating Strong Local Consistencies into Constraint Solvers

This article presents a generic scheme for adding strong local consistencies to the set of features of constraint solvers, which is notably applicable to event-based constraint solvers. We encapsulate a subset of constraints into a global constraint. This approach allows a solver to use different levels of consistency for different subsets of constraints in the same model. Moreover, we show how strong consistencies can be applied with different kinds of constraints, including user-defined constraints. We experiment our technique with a coarse-grained algorithm for Max-RPC, called Max-RPCrm, and a variant of it, L-Max-RPCrm. Experiments confirm the interest of strong consistencies for Constraint Programming tools.

[1]  Christian Bessiere,et al.  Enforcing Arc Consistency on Global Constraints by Solving Subproblems on the Fly , 1999, CP.

[2]  S. Piechowiak,et al.  Handling Heterogeneous Constraints in Revision Ordering Heuristics , 2010 .

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

[4]  Eugene C. Freuder.  A Sufficient Condition for Backtrack-Free Search , 1982, JACM.

[5]  Christophe Lecoutre,et al.  A Study of Residual Supports in Arc Consistency , 2007, IJCAI.

[6]  Rina Dechter,et al.  Principles and Practice of Constraint Programming – CP 2000 , 2001, Lecture Notes in Computer Science.

[7]  Pascal Van Hentenryck,et al.  A Generic Arc-Consistency Algorithm and its Specializations , 1992, Artif. Intell..

[8]  Pascal Van Hentenryck,et al.  To Be or Not to Be ... a Global Constraint , 2003, CP.

[9]  Christian Bessiere,et al.  From Restricted Path Consistency to Max-Restricted Path Consistency , 1997, CP.

[10]  Christian Bessiere,et al.  Arc Consistency for General Constraint Networks: Preliminary Results , 1997, IJCAI.

[11]  Julien Vion,et al.  Light Algorithms for Maintaining Max-RPC During Search , 2009, SARA.

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

[13]  Eugene C. Freuder,et al.  Neighborhood Inverse Consistency Preprocessing , 1996, AAAI/IAAI, Vol. 1.

[14]  Toby Walsh,et al.  Inverse Consistencies for Non-Binary Constraints , 2006, ECAI.

[15]  Peter van Beek,et al.  Local and Global Relational Consistency , 1995, Theor. Comput. Sci..

[16]  Laurence A. Wolsey,et al.  Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007, Proceedings , 2007, CPAIOR.

[17]  Xavier Lorca,et al.  Choco: an Open Source Java Constraint Programming Library , 2008 .

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

[19]  Christophe Lecoutre,et al.  Path Consistency by Dual Consistency , 2007, CP.

[20]  Joxan Jaffar,et al.  Principles and Practice of Constraint Programming – CP’99 , 1999, Lecture Notes in Computer Science.

[21]  Kostas Stergiou.  Heuristics for Dynamically Adapting Propagation , 2008, ECAI.

[22]  P. Berlandier.  Improving domain filtering using restricted path consistency , 1995, Proceedings the 11th Conference on Artificial Intelligence for Applications.

[23]  Philippe Jégou,et al.  A filtering process for general constraint-satisfaction problems: achieving pairwise-consistency using an associated binary representation , 1989, [Proceedings 1989] IEEE International Workshop on Tools for Artificial Intelligence.

[24]  Christian Bessiere,et al.  Theoretical analysis of singleton arc consistency and its extensions , 2008, Artif. Intell..

[25]  Christian Bessiere,et al.  An Original Constraint Based Approach for Solving over Constrained Problems , 2000, CP.

[26]  Toby Walsh,et al.  Domain filtering consistencies for non-binary constraints , 2008, Artif. Intell..

[27]  Christian Bessiere,et al.  Domain Filtering Consistencies , 2011, J. Artif. Intell. Res..

[28]  Olivier Lhomme,et al.  Arc-Consistency Filtering Algorithms for Logical Combinations of Constraints , 2004, CPAIOR.

[29]  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.

[30]  Pascal Van Hentenryck,et al.  The Comet Programming Language and System , 2005, CP.