Solving XCSP problems by using Gecode

CEUR Workshop Proceedings

Volumn 810, Issue , 2011, Pages 401-405

  Morara, Massimo ^a   Mauro, Jacopo ^a   Gabbrielli, Maurizio ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

C++ PROGRAMMING; CONSTRAINT NETWORKS; CONSTRAINT SOLVING; GLOBAL CONSTRAINTS; INTERNATIONAL COMPETITIONS; PLUG-INS; STANDARD FORMAT;

COMPETITION;

LOGIC PROGRAMMING;

EID: 84883346765     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. Fourth International CSP Solver Competition website: http://www.cril. univ-artois.fr/CPAI09/.
2. Gecode/FlatZinc plugin website: http://www.gecode.org/flatzinc.html.
3. Generic constraint development environment website: http://www.gecode. org/.
4. Global Constraint Catalog website: http://www.emn.fr/x-info/sdemasse/ gccat.
5. JSR 331: Constraint Programming API website: http://jcp.org/en/jsr/ summary?id=331.
6. libxml2 libraries. Available at: http://xmlsoft.org/.
7. MiniZinc Challenge 2011 website: http://www.g12.csse.unimelb.edu.au/ minizinc/challenge2011/challenge.html.
8. Standardization of Constraint Programming website: http://4c110.ucc.ie/ cpstandards/.
9. Ralph Becket. Specification of FlatZinc. version 1.3. Available at http://www.g12.csse.unimelb.edu.au/minizinc/downloads/doc-1.3/flatzinc-spec.pdf.
10. ++. In Hybrid Meta-heuristics, pages 141-155, 2009.
11. Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, and Guido Tack. MiniZinc: Towards a Standard CP Modelling Language. In CP Proceeding, pages 529-543, 2007.
12. Organising Committee of the Third International Competition of CSP Solvers. XML Representation of Constraint Networks Format XCSP 2.1, 2009. Available at http://www.cril.univ-artois.fr/CPAI08/XCSP2-1.pdf.
13. Francesca Rossi, Peter van Beek, and Toby Walsh, editors. Handbook of Constraint Programming. Elsevier, 2006.
14. Peter J. Stuckey, Ralph Becket, and Julien Fischer. Philosophy of the MiniZinc challenge. Constraints, 15(3): 307-316, 2010.