Principles and Practice of Constraint Programming - CP 2009

15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings

  • Ian P. Gent
Conference proceedings CP 2009

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Application Track Papers

    1. Alberto Delgado, Rune Møller Jensen, Christian Schulte
      Pages 6-20
    2. Ivan Dotu, Pascal Van Hentenryck, Miguel A. Patricio, A. Berlanga, Jose García, Jose M. Molina
      Pages 21-34
    3. Bella Dubrov, Haggai Eran, Ari Freund, Edward F. Mark, Shyam Ramji, Timothy A. Schell
      Pages 35-49
    4. Sophie Huczynska, Paul McKay, Ian Miguel, Peter Nightingale
      Pages 50-64
    5. Jean-Philippe Métivier, Patrice Boizumault, Samir Loudni
      Pages 73-87
    6. Laurent Michel, Martijn Moraal, Alexander Shvartsman, Elaine Sonderegger, Pascal Van Hentenryck
      Pages 88-103
  4. Research Track Papers

    1. Magnus Ågren
      Pages 119-126
    2. Carlos Ansótegui, María Luisa Bonet, Jordi Levy
      Pages 127-141
    3. Carlos Ansótegui, Meinolf Sellmann, Kevin Tierney
      Pages 142-157
    4. Ignacio Araya, Gilles Trombettoni, Bertrand Neveu
      Pages 158-172
    5. Christian Bessiere, Emmanuel Hebrard, Barry O’Sullivan
      Pages 173-187
    6. Gilles Chabert, Luc Jaulin
      Pages 188-195
    7. Gilles Chabert, Luc Jaulin, Xavier Lorca
      Pages 196-210
    8. Arthur Choi, Trevor Standley, Adnan Darwiche
      Pages 211-225

About these proceedings


This book constitutes the refereed proceedings of the 15th International Conference on Principles and Practice of Constraint Programming, CP 2009, held in Lisbon, Portugal in September 2009.

The 61 revised full papers presented together with  the abstracts of three invited talks were carefully reviewed and selected from 141 submissions. All current issues of computing with constraints are addressed, ranging from methodological and foundational aspects - using algorithms, environments, languages, models and systems - to solving real-world problems in various application fields.


CSP heuristics CSP solving Constraint SAT algorithms complexity constraint logic programming constraint networks constraint satisfaction distributed constraints genetic algorithm programming satisfiability temporal logic

Editors and affiliations

  • Ian P. Gent
    • 1
  1. 1.School of Computer ScienceUniversity of St. AndrewsFifeScotland, UK

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-04243-0
  • Online ISBN 978-3-642-04244-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book