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
    12. David A. Cohen, Peter G. Jeavons, Evgenij Thorstensen, Stanislav Živný
      Pages 230-246
    13. Jessica Davies, Fahiem Bacchus
      Pages 247-262
    14. Simon de Givry, Steven D. Prestwich, Barry O’Sullivan
      Pages 263-272
    15. Erin Delisle, Fahiem Bacchus
      Pages 273-281
    16. Gregory J. Duck, Joxan Jaffar, Nicolas C. H. Koh
      Pages 282-298
    17. Daniel Fontaine, Laurent Michel, Pascal Van Hentenryck
      Pages 299-314
    18. Kathryn Francis, Jorge Navas, Peter J. Stuckey
      Pages 315-330
    19. Graeme Gange, Peter J. Stuckey, Pascal Van Hentenryck
      Pages 340-355
    20. Patricia Gutierrez, Jimmy H. M. Lee, Ka Man Lei, Terrence W. K. Mak, Pedro Meseguer
      Pages 365-380
    21. Jun He, Pierre Flener, Justin Pearson, Wei Ming Zhang
      Pages 381-397
    22. William Klieber, Mikoláš Janota, Joao Marques-Silva, Edmund Clarke
      Pages 415-431
    23. Kevin Leo, Christopher Mears, Guido Tack, Maria Garcia de la Banda
      Pages 432-447
    24. Michele Lombardi, Stefano Gualandi
      Pages 448-463
    25. Manuel Loth, Michèle Sebag, Youssef Hamadi, Marc Schoenauer
      Pages 464-480
    26. Chuan Luo, Shaowei Cai, Wei Wu, Kaile Su
      Pages 481-496
    27. Radu Marinescu, Abdul Razak, Nic Wilson
      Pages 497-512
    28. Michael D. Moffitt
      Pages 513-528
    29. Jean-Noël Monette, Nicolas Beldiceanu, Pierre Flener, Justin Pearson
      Pages 529-544
    30. Nina Narodytska, Toby Walsh
      Pages 545-561
    31. Pierre Ouellet, Claude-Guy Quimper
      Pages 562-577
    32. François Pelsser, Pierre Schaus, Jean-Charles Régin
      Pages 578-586
    33. Steven D. Prestwich, Marco Laumanns, Ban Kawas
      Pages 587-595
    34. Jean-Charles Régin, Mohamed Rezgui, Arnaud Malapert
      Pages 596-610
    35. Pierre Schaus, Renaud Hartert
      Pages 611-627
    36. Andreas Schutt, Thibaut Feydy, Peter J. Stuckey
      Pages 628-644
    37. Paul Scott, Sylvie Thiébaux, Menkes van den Briel, Pascal Van Hentenryck
      Pages 645-660

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

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-40626-3
  • Online ISBN 978-3-642-40627-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site