Advertisement

Principles and Practice of Constraint Programming – CP 2004

10th International Conference, CP 2004, Toronto, Canada, September 27 -October 1, 2004. Proceedings

  • Mark Wallace
Conference proceedings CP 2004

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

Table of contents

  1. Front Matter
  2. Invited Papers

  3. Distinguished Papers

    1. Carla P. Gomes, Cèsar Fernández, Bart Selman, Christian Bessiere
      Pages 32-46
    2. Pascal Van Hentenryck, Laurent Michel, Liyuan Liu
      Pages 47-61
    3. Petr Vilím, Roman Barták, Ondřej Čepek
      Pages 62-76
  4. Full Papers

    1. Albert Atserias, Phokion G. Kolaitis, Moshe Y. Vardi
      Pages 77-91
    2. J. Christopher Beck, Tom Carchrae, Eugene C. Freuder, Georg Ringwelski
      Pages 92-106
    3. Nicolas Beldiceanu, Mats Carlsson, Thierry Petit
      Pages 107-122
    4. Christian Bessiere, Remi Coletta, Eugene C. Freuder, Barry O’Sullivan
      Pages 123-137
    5. Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh
      Pages 138-152
    6. Hadrien Cambazard, Pierre-Emmanuel Hladik, Anne-Marie Déplanche, Narendra Jussien, Yvon Trinquet
      Pages 153-167
    7. David Cohen, Martin Cooper, Peter Jeavons
      Pages 212-226
    8. Pierre Flener, Justin Pearson, Luis G. Reyna
      Pages 227-241
    9. Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
      Pages 260-273
    10. Carla Gomes, Meinolf Sellmann
      Pages 274-289
    11. Lars Hellsten, Gilles Pesant, Peter van Beek
      Pages 290-304
    12. John N. Hooker
      Pages 305-316
    13. Kalev Kask, Rina Dechter, Vibhav Gogate
      Pages 317-331
    14. Vitaly Lagoon, Peter J. Stuckey
      Pages 347-361
    15. Yat Chiu Law, Jimmy H. M. Lee
      Pages 362-376
    16. Nikos Mamoulis, Kostas Stergiou
      Pages 393-407
    17. Paul Morris, Robert Morris, Lina Khatib, Sailesh Ramakrishnan, Andrew Bachmann
      Pages 408-422
    18. Bertrand Neveu, Gilles Trombettoni, Fred Glover
      Pages 423-437
    19. Eugene Nudelman, Kevin Leyton-Brown, Holger H. Hoos, Alex Devkar, Yoav Shoham
      Pages 438-452
    20. Guoqiang Pan, Moshe Y. Vardi
      Pages 453-467
    21. Laurent Perron, Paul Shaw, Vincent Furnon
      Pages 468-481
    22. Nicola Policella, Angelo Oddi, Stephen F. Smith, Amedeo Cesta
      Pages 496-511
    23. Steven Prestwich
      Pages 512-526
    24. Claude-Guy Quimper, Alejandro López-Ortiz, Peter van Beek, Alexander Golynski
      Pages 542-556
    25. Jean-Charles Régin, Carla P. Gomes
      Pages 572-587
    26. Francesca Rossi, Kristen Brent Venable, Neil Yorke-Smith
      Pages 588-603
    27. Christian Schulte, Peter J. Stuckey
      Pages 619-633
    28. Paul Shaw
      Pages 648-662
    29. Christian Thiffault, Fahiem Bacchus, Toby Walsh
      Pages 663-678

About these proceedings

Introduction

The 10th International Conference on the Principles and Practice of Constraint Programming (CP 2003) was held in Toronto, Canada, during September 27 – October 1, 2004. Information about the conference can be found on the Web at http://ai.uwaterloo.ca/~cp2004/ Constraint programming (CP) is about problem modelling, problem solving, programming, optimization, software engineering, databases, visualization, user interfaces, and anything to do with satisfying complex constraints. It reaches into mathematics, operations research, arti?cial intelligence, algorithms, c- plexity, modelling and programming languages, and many aspects of computer science. Moreover, CP is never far from applications, and its successful use in industry and government goes hand in hand with the success of the CP research community. Constraintprogrammingcontinuesto beanexciting,?ourishingandgrowing research?eld,astheannualCPconferenceproceedingsamplywitness.Thisyear, from 158 submissions, we chose 46 to be published in full in the proceedings. Instead of selecting one overall best paper, we picked out four “distinguished” papers – though we were tempted to select at least 12 such papers. In addition we included 16 short papersin the proceedings– these were presentedas posters at CP 2004. This volume includes summaries of the four invited talks of CP 2004. Two speakers from industry were invited. However these were no ordinary industrial representatives,buttwoofthe leadingresearchersinthe CPcommunity:Helmut Simonis of Parc Technologies, until its recent takeover by Cisco Systems; and Jean Francoi ¸ s Puget, Director of Optimization Technology at ILOG. The other two invited speakers are also big movers and shakers in the researchcommunity.

Keywords

Variable algorithms complexity constraint checkers constraint logic programming constraint programming constraint satisfaction constraint solving constraint-based compinatorics constraint-based optimization distributed constraints heuristics modeling real-time robot

Editors and affiliations

  • Mark Wallace
    • 1
  1. 1.Clayton School of ITMonash UniversityAustralia

Bibliographic information

  • DOI https://doi.org/10.1007/b100482
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-23241-4
  • Online ISBN 978-3-540-30201-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site