Principles and Practice of Constraint Programming – CP 2007

13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007. Proceedings

  • Editors
  • Christian Bessière
Conference proceedings CP 2007

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

Table of contents

  1. Front Matter
  2. Invited Lectures

    1. Fahiem Bacchus
      Pages 1-1
  3. Application Papers

    1. Grégory Beaumet, Gérard Verfaillie, Marie-Claire Charmeau
      Pages 3-17
    2. Chiu Wo Choi, Jimmy H. M. Lee
      Pages 33-48
    3. Hélène Collavizza, Michel Rueher
      Pages 49-63
    4. Andrew Davenport, Jayant Kalagnanam, Chandra Reddy, Stuart Siegel, John Hou
      Pages 64-76
    5. Antoine Gargani, Philippe Refalo
      Pages 77-89
    6. Rosella Gennari, Ornella Mich
      Pages 90-104
    7. Roman van der Krogt, James Little, Kenneth Pulliam, Sue Hanhilammi, Yue Jin
      Pages 105-117
  4. Full Research Papers

    1. H. R. Andersen, T. Hadzic, J. N. Hooker, P. Tiedemann
      Pages 118-132
    2. Fahiem Bacchus
      Pages 133-147
    3. Fahiem Bacchus, Kostas Stergiou
      Pages 148-163
    4. Kenneth M. Bayer, Martin Michalowski, Berthe Y. Choueiry, Craig A. Knoblock
      Pages 164-179
    5. N. Beldiceanu, M. Carlsson, E. Poder, R. Sadek, C. Truchet
      Pages 180-194
    6. Belaïd Benhamou, Mohamed Réda Saïdi
      Pages 195-209
    7. Sebastian Brand, Nina Narodytska, Claude-Guy Quimper, Peter Stuckey, Toby Walsh
      Pages 210-224
    8. Sylvain Darras, Gilles Dequen, Laure Devendeville, Chu-Min Li
      Pages 225-240
    9. Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé
      Pages 241-255
    10. Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal
      Pages 256-270
    11. Grégoire Dooms, Pascal Van Hentenryck, Laurent Michel
      Pages 271-285
    12. Mirco Gelain, Maria Silvia Pini, Francesca Rossi, K. Brent Venable
      Pages 286-300
    13. Éric Grégoire, Bertrand Mazure, Cédric Piette
      Pages 317-331
    14. Steven Halim, Roland H. C. Yap, Hoong Chuin Lau
      Pages 332-347
    15. Matti Järvisalo, Tommi Junttila
      Pages 348-363
    16. Philippe Jégou, Samba Ndojh Ndiaye, Cyril Terrioux
      Pages 364-378
    17. George Katsirelos, Toby Walsh
      Pages 379-393
    18. Mohand Ou Idir Khemmoudj, Hachemi Bennaceur
      Pages 394-408
    19. Mikael Z. Lagerkvist, Christian Schulte
      Pages 409-422
    20. Y. C. Law, J. H. M. Lee, Toby Walsh, J. Y. K. Yip
      Pages 423-437
    21. Christophe Lecoutre, Stéphane Cardon, Julien Vion
      Pages 438-452
    22. Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal
      Pages 453-467
    23. Michele Lombardi, Michela Milano
      Pages 468-482
    24. Joao Marques-Silva, Inês Lynce
      Pages 483-497
    25. Robert Mateescu, Radu Marinescu, Rina Dechter
      Pages 498-513
    26. Laurent Michel, Andrew See, Pascal Van Hentenryck
      Pages 514-528
    27. Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack
      Pages 529-543
    28. Olga Ohrimenko, Peter J. Stuckey, Michael Codish
      Pages 544-558
    29. Matthieu Petit, Arnaud Gotlieb
      Pages 559-573
    30. Luca Pulina, Armando Tacchella
      Pages 574-589
    31. Claude-Guy Quimper, Toby Walsh
      Pages 590-604
    32. Pierre Schaus, Yves Deville, Pierre Dupont
      Pages 620-634
    33. Gilles Trombettoni, Gilles Chabert
      Pages 635-650
    34. Menkes van den Briel, J. Benton, Subbarao Kambhampati, Thomas Vossen
      Pages 651-665
    35. Nic Wilson, Diarmuid Grimes, Eugene C. Freuder
      Pages 666-680
    36. Huayue Wu, Peter van Beek
      Pages 681-695
    37. Lin Xu, Holger H. Hoos, Kevin Leyton-Brown
      Pages 696-711

About these proceedings


The 13th International Conference on Principles and Practice of Constraint Programming (CP 2007) was held in Providence, RI, USA, September 23–27, 2007, in conjunction with the International Conference on Automated Pl- ning and Scheduling (ICAPS). Held annually, the CP conference series is the premier international conference on constraint programming. The conference focuses on all aspects of computing with constraints. The CP conference - ries is organized by the Association for Constraint Programming (ACP). - formation about the conferences in the series can be found on the Web at http://www. cs. ualberta. ca/~ai/cp/. Information about ACP can be found athttp://www. a4cp. org/. CP 2007 launched two calls for contributions: a call for research papers, describing novel contributions in the ?eld, and a call for application papers, describing applications of constraint technology in the industrial world. The research track received 143 submissions and the application track received 22 submissions. Research papers were reviewed under a double-blind scheme. They received three reviews that the authors had the opportunity to see and to react tobeforethepapersandtheirreviewswerediscussedextensivelybythemembers of the ProgramCommittee. Application papers werereviewedby a separate- plication Committee. The Program Committee and the Application Committee then selected 43 researchpapers and 9 application papers to be published in full inthe proceedings,andanadditional14researchpapersto be publishedas short papers. The full papers were presented at the conference in two parallel tracks and the short papers were presented in a poster session.


E-Learning Planning Variable algorithms assistive technology autonom complexity constraint logic programming constraint networks constraint programming constraint propagation constraint satisfaction constraint solving heuristics visualization

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-74969-1
  • Online ISBN 978-3-540-74970-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment