XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems

In this document, we introduce XCSP3-core, a subset of XCSP3 that allows us to represent constraint satisfaction/optimization problems. The interest of XCSP3-core is multiple: (i) focusing on the most popular frameworks (CSP and COP) and constraints, (ii) facilitating the parsing process by means of dedicated XCSP3-core parsers written in Java and C++ (using callback functions), (iii) and defining a core format for comparisons (competitions) of constraint solvers.

[1]  Roland H. C. Yap,et al.  A Path-Optimal GAC Algorithm for Table Constraints , 2012, ECAI.

[2]  Christian Schulte,et al.  Views and Iterators for Generic Constraint Implementations , 2005, CSCLP.

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

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

[5]  Ian P. Gent,et al.  Generalised arc consistency for the AllDifferent constraint: An empirical survey , 2008, Artif. Intell..

[6]  Christophe Lecoutre,et al.  STR2: optimized simple tabular reduction for table constraints , 2011, Constraints.

[7]  Christian Bessiere,et al.  Arc-Consistency and Arc-Consistency Again , 1993, Artif. Intell..

[8]  Roland H. C. Yap,et al.  Maintaining Generalized Arc Consistency on Ad-Hoc n-Ary Boolean Constraints , 2006, ECAI.

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

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

[11]  Nicolas Szczepanski,et al.  PYCSP3: Modeling Combinatorial Constrained Problems in Python , 2020, ArXiv.

[12]  Toby Walsh,et al.  Global Constraints for Lexicographic Orderings , 2002, CP.

[13]  Gilles Pesant,et al.  Counting Solutions of Knapsack Constraints , 2008, CPAIOR.

[14]  Pierre Schaus,et al.  Extending Compact-Table to Negative and Short Tables , 2017, AAAI.

[15]  Pascal Van Hentenryck,et al.  Generality versus Specificity: An Experience with AI and OR Techniques , 1988, AAAI.

[16]  John N. Hooker,et al.  Integrated methods for optimization , 2011, International series in operations research and management science.

[17]  Roland H. C. Yap,et al.  Optimizing Simple Tabular Reduction with a Bitwise Representation , 2016, IJCAI.

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

[19]  Roland H. C. Yap,et al.  An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints , 2010, Constraints.

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

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

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

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

[24]  P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .

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

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

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

[28]  C. M. Sperberg-McQueen,et al.  Extensible Markup Language (XML) , 1997, World Wide Web J..

[29]  Cnrs Fre,et al.  Enforcing Arc Consistency using Bitwise Operations , 2007 .

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

[31]  Thomas C. Henderson,et al.  Arc and Path Consistency Revisited , 1986, Artif. Intell..

[32]  Roland H. C. Yap,et al.  Maintaining Generalized Arc Consistency on Ad Hoc r-Ary Constraints , 2008, CP.

[33]  Toby Walsh,et al.  Beyond Finite Domains: The All Different and Global Cardinality Constraints , 2005, CP.

[34]  Ian P. Gent,et al.  Data Structures for Generalised Arc Consistency for Extensional Constraints , 2007, AAAI.

[35]  Jean-Charles Régin,et al.  Improving GAC-4 for Table and MDD Constraints , 2014, CP.

[36]  Willem Jan van Hoeve,et al.  The alldifferent Constraint: A Survey , 2001, ArXiv.

[37]  Mats Carlsson,et al.  An Open-Ended Finite Domain Constraint Solver , 1997, PLILP.

[38]  Toby Walsh,et al.  Breaking Row and Column Symmetries in Matrix Models , 2002, CP.

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

[40]  Jean-Charles Régin,et al.  A Fast Arc Consistency Algorithm for n-ary Constraints , 2005, AAAI.

[41]  Toby Walsh,et al.  Filtering Algorithms for the NValue Constraint , 2006, Constraints.

[42]  Jean-Charles Régin,et al.  Global Constraints: A Survey , 2011 .

[43]  Mats Carlsson,et al.  Revisiting the Lexicographic Ordering Constraint , 2002 .

[44]  Radoslaw Cymer.  Dulmage-Mendelsohn Canonical Decomposition as a generic pruning technique , 2012, Constraints.

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

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

[47]  Michael A. Trick.  A Dynamic Programming Approach for Consistency and Propagation for Knapsack Constraints , 2003, Ann. Oper. Res..

[48]  Pierre Schaus,et al.  Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets , 2016, CP.

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

[50]  Christophe Lecoutre,et al.  Generalized Arc Consistency for Positive Table Constraints , 2006, CP.

[51]  Anneli Folkesson,et al.  World Wide Web Consortium (W3C) , 2005 .

[52]  Jean-Charles Régin,et al.  Generalized Arc Consistency for Global Cardinality Constraint , 1996, AAAI/IAAI, Vol. 1.

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

[54]  Nicolas Beldiceanu,et al.  Arc-Consistency for a Chain of Lexicographic Ordering Constraints , 2002 .

[55]  Krzysztof R. Apt,et al.  Principles of constraint programming , 2003 .

[56]  Pascal Van Hentenryck,et al.  An Optimal Filtering Algorithm for Table Constraints , 2012, CP.