Principles and Practice of Constraint Programming – CP 2010

16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings

  • David Cohen
Conference proceedings CP 2010

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Distinguished Papers

    1. Ross Willard
      Pages 9-23
    2. Sigal Asaf, Haggai Eran, Yossi Richter, Daniel P. Connors, Donna L. Gresh, Julio Ortega et al.
      Pages 24-37
    3. Stefano Ermon, Carla P. Gomes, Bart Selman
      Pages 38-52
  4. Research Track

    1. David Allouche, Simon de Givry, Thomas Schiex
      Pages 53-60
    2. Ignacio Araya, Gilles Trombettoni, Bertrand Neveu
      Pages 61-68
    3. Thanasis Balafoutis, Anastasia Paparrizou, Kostas Stergiou, Toby Walsh
      Pages 69-83
    4. J. Christopher Beck
      Pages 84-98
    5. Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
      Pages 114-128
    6. Hadrien Cambazard, Barry O’Sullivan
      Pages 129-136
    7. Gilles Chabert, Nicolas Beldiceanu
      Pages 137-151
    8. Martin C. Cooper, Stanislav Živný
      Pages 152-166
    9. Alessandro Dal Palù, Mathias Möhl, Sebastian Will
      Pages 167-175
    10. Jessica Davies, Jeremy Cho, Fahiem Bacchus
      Pages 176-190
    11. Yves Deville, Pascal Van Hentenryck
      Pages 191-205
    12. Ian P. Gent, Chris Jefferson, Ian Miguel, Peter Nightingale
      Pages 206-220
    13. Alexandre Goldsztejn, Olivier Mullier, Damien Eveillard, Hiroshi Hosobe
      Pages 221-235
    14. Gianluigi Greco, Francesco Scarcello
      Pages 236-251
    15. Long Guo, Youssef Hamadi, Said Jabbour, Lakhdar Sais
      Pages 252-265
    16. Samid Hoda, Willem-Jan van Hoeve, J. N. Hooker
      Pages 266-280
    17. Siddhartha Jain, Eoin O’Mahony, Meinolf Sellmann
      Pages 281-296
    18. Tommi Junttila, Petteri Kaski
      Pages 297-304
    19. George Katsirelos, Nina Narodytska, Toby Walsh
      Pages 305-320
    20. Lars Kotthoff, Ian Miguel, Peter Nightingale
      Pages 321-329
    21. Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah
      Pages 330-344
    22. Florent Madelaine
      Pages 345-359
    23. Justyna Petke, Peter Jeavons
      Pages 398-413
    24. Jussi Rintanen
      Pages 414-428
    25. Helmut Simonis, Paul Davern, Jacob Feldman, Deepak Mehta, Luis Quesada, Mats Carlsson
      Pages 460-474
    26. Balder ten Cate, Phokion G. Kolaitis, Wang-Chiew Tan
      Pages 475-490
    27. Gilles Trombettoni, Yves Papegay, Gilles Chabert, Odile Pourtallier
      Pages 491-498
    28. Justin Yip, Pascal Van Hentenryck
      Pages 499-513
  5. Applications Track

    1. Kiyan Ahmadizadeh, Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal
      Pages 514-521
    2. Andreas Bauer, Viorica Botea, Mark Brown, Matt Gray, Daniel Harabor, John Slaney
      Pages 522-536
    3. Ahmet Serkan Karataş, Halit Oğuztüzün, Ali Doğru
      Pages 537-551
    4. Mehdi Khiari, Patrice Boizumault, Bruno Crémilleux
      Pages 552-567
    5. Roman van der Krogt, Jacob Feldman, James Little, David Stynes
      Pages 568-582
    6. David Lesaint, Deepak Mehta, Barry O’Sullivan, Luis Quesada, Nic Wilson
      Pages 583-597
    7. Laurent Michel, Alexander A. Shvartsman, Elaine Sonderegger, Pascal Van Hentenryck
      Pages 598-612
    8. Roberto Castañeda Lozano, Christian Schulte, Lars Wahlberg
      Pages 613-627
    9. Michaël Soulignac, Michel Rueher, Patrick Taillibert
      Pages 628-642

About these proceedings


The 16th annual International Conference on the Principles and Practice of Constraint Programming (CP 2010) was held in St. Andrews, Scotland, during September 6–10, 2010. We would like to thank our sponsors for their generous support of this event. This conference is concerned with all aspects of computing with constraints, including:theory,algorithms,applications,environments,languages,modelsand systems. We received a wide variety of submissions, each of which was reviewed by at least three referees. Referees were chosen for each submission by an initial bidding process where Program Committee members chose papers from their area of interest. The range of expertise represented by the large Program C- mittee meant that almost all submissions were reviewed by subject experts on the Program Committee, or by colleagues chosen by members of the Program Committee for their particular expertise. Papers weresolicitedeither as long (15 page), or short (8 page) submissions. Short-paper submissions were refereed to exactly the same high standards as long-paper submissions but naturally were expected to contain a smaller quantity of new material. Thus there is no disti- tion in these proceedings between short and long papers. I used the excellent EasyChair conference management system to support this process of reviewing, and for the collation and organization of these proceedings. Submissions were made either to the applications track or to the research track. Therewere101(23short)researchtracksubmissionsofwhich36(8short) wereaccepted,whichisa36%(35%ofshort)acceptancerate. Applicationstrack submissions received special consideration and the acceptance rate was sign- cantly higher than for the research track.


Constraint Ontologie Programming language A algorithms expert system modeling multimedia optimization programming language semantic web

Editors and affiliations

  • David Cohen
    • 1
  1. 1.Department of Computer Science, Royal HollowayUniversity of LondonSurreyUnited Kingdom

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-15395-2
  • Online ISBN 978-3-642-15396-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software