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
    9. Geoffrey Chu, Christian Schulte, Peter J. Stuckey
      Pages 226-241
    10. Geoffrey Chu, Peter J. Stuckey
      Pages 242-257
    11. Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda
      Pages 258-273
    12. Vianney le Clément, Yves Deville, Christine Solnon
      Pages 274-288
    13. David A. Cohen, Martin J. Green, Chris Houghton
      Pages 289-303
    14. Redouane Ezzahir, Christian Bessiere, Mohamed Wahbi, Imade Benelallam, El Houssine Bouyakhf
      Pages 304-318
    15. François Fages, Aurélien Rizk
      Pages 319-334
    16. Aurélie Favier, Simon de Givry, Philippe Jégou
      Pages 335-343
    17. Mohammad M. Fazel-Zarandi, J. Christopher Beck
      Pages 344-351
    18. Thibaut Feydy, Peter J. Stuckey
      Pages 352-366
    19. Alan M. Frisch, Peter J. Stuckey
      Pages 367-382
    20. Alex S. Fukunaga
      Pages 383-390
    21. Andrew Grayland, Ian Miguel, Colva M. Roney-Dougal
      Pages 391-399
    22. Diarmuid Grimes, Emmanuel Hebrard, Arnaud Malapert
      Pages 400-408
    23. Tarik Hadžić, Alan Holland, Barry O’Sullivan
      Pages 409-423
    24. Emmanuel Hebrard, Dániel Marx, Barry O’Sullivan, Igor Razgon
      Pages 424-438
    25. Brahim Hnich, Roberto Rossi, S. Armagan Tarim, Steven Prestwich
      Pages 439-453
    26. Joxan Jaffar, Andrew E. Santosa, Răzvan Voicu
      Pages 454-469
    27. Christopher Jefferson, Serdar Kadioglu, Karen E. Petrie, Meinolf Sellmann, Stanislav Živný
      Pages 470-485
    28. Serdar Kadioglu, Meinolf Sellmann
      Pages 486-500
    29. George Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh
      Pages 501-508
    30. Konstantin Korovin, Nestan Tsiskaridze, Andrei Voronkov
      Pages 509-523
    31. Mikael Z. Lagerkvist, Christian Schulte
      Pages 524-538
    32. Ronan Le Bras, Alessandro Zanarini, Gilles Pesant
      Pages 539-553
    33. Christophe Lecoutre, Olivier Roussel
      Pages 554-568
    34. Michael J. Maher
      Pages 584-591
    35. Deepak Mehta, Barry O’Sullivan, Luis Quesada, Nic Wilson
      Pages 608-622
    36. Naoki Ohta, Vincent Conitzer, Ryo Ichimura, Yuko Sakurai, Atsushi Iwasaki, Makoto Yokoo
      Pages 623-638

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 Computer Science (R0)
  • Print ISBN 978-3-642-04243-0
  • Online ISBN 978-3-642-04244-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment