© 2013

Principles and Practice of Constraint Programming

19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings

  • Christian Schulte
Conference proceedings CP 2013

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8124)

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Invited Public Lecture

    1. Pascal Van Hentenryck
      Pages 7-7
  4. Invited System Presentation

    1. Pascal Van Hentenryck, Laurent Michel
      Pages 8-29
  5. Best Technical Track Paper

    1. Thierry Moisan, Jonathan Gaudreault, Claude-Guy Quimper
      Pages 30-46
  6. Best Application Track Paper

    1. Hadrien Cambazard, Deepak Mehta, Barry O’Sullivan, Helmut Simonis
      Pages 47-62
  7. Best Student Paper

  8. Technical Track Papers

    1. Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell
      Pages 80-96
    2. Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Peter J. Stuckey
      Pages 97-106
    3. Ozgur Akgun, Alan M. Frisch, Ian P. Gent, Bilal Syed Hussain, Christopher Jefferson, Lars Kotthoff et al.
      Pages 107-116
    4. Carlos Ansótegui, Maria Luisa Bonet, Joel Gabàs, Jordi Levy
      Pages 117-132
    5. Josep Argelich, Chu-Min Li, Felip Manyà, Zhu Zhu
      Pages 133-142
    6. Amine Balafrej, Christian Bessiere, Remi Coletta, El Houssine Bouyakhf
      Pages 143-158
    7. Christian Bessiere, Hélène Fargier, Christophe Lecoutre
      Pages 159-174
    8. Simon Brockbank, Gilles Pesant, Louis-Martin Rousseau
      Pages 175-183
    9. Jakub Bulín, Dejan Delić, Marcel Jackson, Todd Niven
      Pages 184-199
    10. Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi
      Pages 200-216
    11. Geoffrey Chu, Peter J. Stuckey
      Pages 217-229

About these proceedings


This book constitutes the refereed conference proceedings of the 19th International Conference on Principles and Practice of Constraint Programming (CP 2013), held in Uppsala, Sweden, in September 2013.

The 59 revised papers presented together with 5 invited talks were carefully selected from 170 submissions. The scope of the conference is on all aspects of computing with constraints, including: theory, algorithms, environments, languages, models and systems, applications such as decision making, resource allocation, and agreement technologies.


chaotic dynamical systems combinatorial optimization constraint programming topological entropy tractability

Editors and affiliations

  • Christian Schulte
    • 1
  1. 1.School of Information and Communication TechnologyKTH Royal Institute of TechnologyKistaSweden

Bibliographic information

Industry Sectors
IT & Software