XCSP3 and its ecosystem

In this paper, we present a summary of XCSP 3 , together with its ecosystem. XCSP 3 is a format used to build integrated representations of combinatorial constrained problems. Interestingly, XCSP 3 preserves the structure of models, by handling arrays of variables and groups/blocks of constraints, which makes it rather unique in the literature. Furthermore, the ecosystem of XCSP 3 is well supplied: it includes companion tools (parsers and checkers), a website with a search engine for selecting and downloading instances, and competitions of solvers. The Java-based modeling API, called JvCSP 3 , is the last developed piece of this complete production chain.

[1]  Mats Carlsson,et al.  From Constraints to Finite Automata to Filtering Algorithms , 2004, ESOP.

[2]  Carmen Gervet,et al.  Interval propagation to reason about sets: Definition and implementation of a practical language , 1997, Constraints.

[3]  Barry O'Sullivan,et al.  Constraint Programming and Combinatorial Optimisation in Numberjack , 2010, CPAIOR.

[4]  Christian Schulte,et al.  View-based propagator derivation , 2009, Constraints.

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

[6]  Edward Tsang,et al.  A Computer Aided Constraint Programming System , 2001 .

[7]  Eric Monfroy,et al.  Beyond NP: Arc-Consistency for Quantified Constraints , 2002, CP.

[8]  Javier Larrosa,et al.  Node and arc consistency in weighted CSP , 2002, AAAI/IAAI.

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

[10]  Ian P. Gent,et al.  Short and Long Supports for Constraint Propagation , 2013, J. Artif. Intell. Res..

[11]  Warwick Harvey,et al.  Essence: A constraint language for specifying combinatorial problems , 2007, Constraints.

[12]  Makoto Yokoo,et al.  Distributed Constraint Satisfaction , 2000, Springer Series on Agent Technology.

[13]  Peter Nightingale,et al.  Essence' Description , 2016, ArXiv.

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

[15]  Thomas Schiex,et al.  Soft Constraints , 2000, WLP.

[16]  Yves Deville,et al.  The Smart Table Constraint , 2015, CPAIOR.

[17]  Toby Walsh,et al.  CSPLIB: A Benchmark Library for Constraints , 1999, CP.

[18]  Ian P. Gent,et al.  Automatically improving constraint models in Savile Row , 2017, Artif. Intell..

[19]  Nicolas Beldiceanu,et al.  Introducing global constraints in CHIP , 1994 .

[20]  David G. Mitchell,et al.  2-Way vs. d-Way Branching for CSP , 2005, CP.

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

[22]  Toby Walsh,et al.  SLIDE: A Useful Special Case of the CARDPATH Constraint , 2008, ECAI.

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

[24]  Toby Walsh,et al.  Stochastic Constraint Programming , 2002, ECAI.

[25]  Pascal Van Hentenryck.  The OPL optimization programming language , 1999 .

[26]  Marco Benedetti,et al.  QCSP Made Practical by Virtue of Restricted Quantification , 2007, IJCAI.

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

[28]  Ugo Montanari,et al.  Networks of constraints: Fundamental properties and applications to picture processing , 1974, Inf. Sci..

[29]  Jianyang Zhou,et al.  Introduction to the constraint language NCL , 2000, J. Log. Program..

[30]  Carmen Gervet,et al.  Constraints over Structured Domains , 2006, Handbook of Constraint Programming.

[31]  Roman Barták,et al.  Constraint Processing , 2009, Encyclopedia of Artificial Intelligence.

[32]  Toby Walsh,et al.  A Compression Algorithm for Large Arity Extensional Constraints , 2007, CP.

[33]  J. Carlier.  The one-machine sequencing problem , 1982 .

[34]  Pierre Flener,et al.  Introducing ESRA, a Relational Language for Modelling Combinatorial Problems , 2003, CP.

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

[36]  Christophe Lecoutre,et al.  XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems , 2016, ArXiv.

[37]  Olivier Roussel,et al.  XML Representation of Constraint Networks: Format XCSP 2.1 , 2009, ArXiv.

[38]  Gérard Ligozat,et al.  What Is a Qualitative Calculus? A General Framework , 2004, PRICAI.

[39]  Neng-Fa Zhou,et al.  Constraint Solving and Planning with Picat , 2015, SpringerBriefs in Intelligent Systems.

[40]  Peter J. Stuckey,et al.  MiniZinc: Towards a Standard CP Modelling Language , 2007, CP.

[41]  Olivier Roussel,et al.  Proceedings of the 2018 XCSP3 Competition , 2018, ArXiv.

[42]  Bilal Syed Hussain,et al.  Automated Symmetry Breaking and Model Selection in Conjure , 2013, CP.

[43]  Christian Bessiere,et al.  Efficient algorithms for singleton arc consistency , 2009, Constraints.