Toward sustainable development in constraint programming

We present a few challenges that we consider important to tackle for the future of constraint programming. The focus is put on simplifying the design and implementation of propagators in solvers.

[1]  Nicolas Beldiceanu,et al.  Bounds of graph parameters for global constraints , 2006, RAIRO Oper. Res..

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

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

[4]  Pascal Van Hentenryck,et al.  Model-driven visualizations of constraint-based local search , 2008, Constraints.

[5]  Jean-Louis Laurière,et al.  A Language and a Program for Stating and Solving Combinatorial Problems , 1978, Artif. Intell..

[6]  Gert Smolka,et al.  Generating Propagators for Finite Set Constraints , 2006, CP.

[7]  Frank Raiser.  Semi-automatic Generation of CHR Solvers for Global Constraints , 2008, CP.

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

[9]  Paul Shaw,et al.  Using Constraint Programming and Local Search Methods to Solve Vehicle Routing Problems , 1998, CP.

[10]  Jan Maluszynski,et al.  Analysis and Visualization Tools for Constraint Programming , 2000, Lecture Notes in Computer Science.

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

[12]  Pierre Flener,et al.  A Parametric Propagator for Discretely Convex Pairs of Sum Constraints , 2013, CP.

[13]  Mats Carlsson,et al.  A Generic Visualization Platform for CP , 2010, CP.

[14]  Marcel Berger,et al.  Geometry Revealed: A Jacob's Ladder to Modern Higher Geometry , 2011 .

[15]  Philippe Codognet,et al.  A Minimal Extension of the WAM for clp(FD) , 1993, ICLP.

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

[17]  Mats Carlsson,et al.  An O(nlog n) Bound Consistency Algorithm for the Conjunction of an alldifferent and an Inequality between a Sum of Variables and a Constant, and its Generalization , 2012, ECAI.

[18]  Mats Carlsson,et al.  A Scalable Sweep Algorithm for the cumulative Constraint , 2012, CP.

[19]  Jan Maluszynski,et al.  Analysis and visualization tools for constraint programming : constraint debugging , 2000 .

[20]  Colin de la Higuera,et al.  Grammatical Inference: Learning Automata and Grammars , 2010 .

[21]  Pedro García,et al.  IDENTIFYING REGULAR LANGUAGES IN POLYNOMIAL TIME , 1993 .

[22]  Thi-Bich-Hanh Dao,et al.  Indexical-Based Solver Learning , 2002, CP.

[23]  Jean-François Puget,et al.  Program Does Not Equal Program: Constraint Programming and Its Relationship to Mathematical Programming , 2001, Interfaces.

[24]  Patrick Prosser,et al.  Exact Algorithms for Maximum Clique: A Computational Study , 2012, Algorithms.

[25]  Xavier Lorca,et al.  A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints , 2011, IJCAI.

[26]  Narendra Jussien,et al.  The versatility of using explanations within constraint programming , 2003 .

[27]  Barry O'Sullivan,et al.  Comparing Solution Methods for the Machine Reassignment Problem , 2012, CP.

[28]  Christophe Rigotti,et al.  Automatic generation of CHR constraint solvers , 2004, Theory and Practice of Logic Programming.

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

[30]  Mats Carlsson,et al.  A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects , 2007, CP.

[31]  Jan Maluszynski,et al.  Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project) , 2000 .

[32]  Eric Bourreau,et al.  Complex Constraint Abstraction: Global Constraint Visualisation , 2000, Analysis and Visualization Tools for Constraint Programming.

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

[34]  Pierre Flener,et al.  Towards Solver-Independent Propagators , 2012, CP.