Bound Consistencies for the discrete CSP

Many works in the area of Constraint Programming have focused on inference, and more precisely, on filtering methods based on properties of constraint networks. Such properties are called domain filtering consistencies when they allow removing some inconsistent values from the domains of variables, and bound consistencies when they focus on bounds of domains. In this paper, we study the relationship between consistencies introduced with respect to discrete and continuous constraint networks, and experiment the effectiveness of exploiting bound consistencies on discrete instances.

[1]  Rina Dechter,et al.  Constraint Processing , 1995, Lecture Notes in Computer Science.

[2]  Boi Faltings,et al.  Arc-Consistency for Continuous Variables , 1994, Artif. Intell..

[3]  Éric D. Taillard,et al.  Benchmarks for basic scheduling problems , 1993 .

[4]  Olivier Lhomme,et al.  Consistency Techniques for Numeric CSPs , 1993, IJCAI.

[5]  Eero Hyvönen,et al.  Constraint Reasoning Based on Interval Arithmetic: The Tolerance Propagation Approach , 1992, Artif. Intell..

[6]  Philippe Codognet,et al.  Compiling Constraints in clp(FD) , 1996, J. Log. Program..

[7]  Roman Barták,et al.  A New Algorithm for Singleton Arc Consistency , 2004, FLAIRS.

[8]  O. Lhomme,et al.  Contribution a la résolution de contraintes sur les réels par propagation d'intervalles , 1994 .

[9]  Marc R. C. van Dongen,et al.  AC-3d an Efficient Arc-Consistency Algorithm with a Low Space-Complexity , 2002, CP.

[10]  Eero Hyvönen,et al.  Constraint Reasoning Based on Interval Arithmetic , 1989, IJCAI.

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

[12]  Christian Bessiere,et al.  Optimal and Suboptimal Singleton Arc Consistency Algorithms , 2005, IJCAI.

[13]  Roland H. C. Yap,et al.  An optimal coarse-grained arc consistency algorithm , 2005, Artif. Intell..

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

[15]  Hélène Collavizza,et al.  Comparing Partial Consistencies , 1998, SCAN.

[16]  Alan K. Mackworth.  Consistency in Networks of Relations , 1977, Artif. Intell..

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

[18]  Christophe Lecoutre,et al.  Exploiting Multidirectionality in Coarse-Grained Arc Consistency Algorithms , 2003, CP.

[19]  Eric Monfroy,et al.  Improved bounds on the complexity of kB-consistency , 2001, IJCAI.

[20]  Christophe Lecoutre,et al.  A Greedy Approach to Establish Singleton Arc Consistency , 2005, IJCAI.

[21]  Toby Walsh,et al.  Singleton Consistencies , 2000, CP.

[22]  Pascal Van Hentenryck,et al.  Design, Implementation, and Evaluation of the Constraint Language cc(FD) , 1994, Constraint Programming.

[23]  Christian Bessiere,et al.  Theoretical Analysis of Singleton Arc Consistency , 2004 .

[24]  Pascal Van Hentenryck,et al.  CLP(Intervals) Revisited , 1994, ILPS.