XML Representation of Constraint Networks: Format XCSP 2.1

We propose a new extended format to represent constraint networks using XML. This format allows us to represent constraints defined either in extension or in intension. It also allows us to reference global constraints. Any instance of the problems CSP (Constraint Satisfaction Problem), QCSP (Quantified CSP) and WCSP (Weighted CSP) can be represented using this format.

[1]  Jean-Charles Régin,et al.  A Global Constraint Combining a Sum Constraint and Difference Constraints , 2000, CP.

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

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

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

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

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

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

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

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

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

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

[12]  Hatem Ahriz,et al.  Building Models through Formal Specification , 2004, CPAIOR.

[13]  Thomas Schiex,et al.  On the Complexity of Compact Coalitional Games , 2009, IJCAI.

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

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

[16]  Kim Marriott,et al.  The Modelling Language Zinc , 2006, CP.

[17]  Thomas Schiex,et al.  Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison , 1999, Constraints.

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

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