Principles and Practice of Constraint Programming

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

  • Christian Schulte
Conference proceedings CP 2013

DOI: 10.1007/978-3-642-40627-0

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

Introduction

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.

Keywords

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

  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-40626-3
  • Online ISBN 978-3-642-40627-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349