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

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
  • About this book