Principles and Practice of Constraint Programming - CP 2002

8th International Conference, CP 2002 Ithaca, NY, USA, September 9–13, 2002 Proceedings

  • Pascal Van Hentenryck
Conference proceedings CP 2002

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

Table of contents

  1. Front Matter
    Pages I-XVI
  2. Technical Papers

    1. Michela Milano, Willem J. van Hoeve
      Pages 1-16
    2. Gautam Appa, Ioannis Mourtos, Dimitris Magos
      Pages 17-32
    3. Paula Amaral, Pedro Barahona
      Pages 33-46
    4. Yannis Dimopoulos, Alfonso Gerevini
      Pages 47-62
    5. Nicolas Beldiceanu, Mats Carlsson
      Pages 63-79
    6. Alan Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh
      Pages 93-108
    7. Yahia Lebbah, Michel Rueher, Claude Michel
      Pages 109-123
    8. Vincent A. Cicirello, Stephen F. Smith
      Pages 124-138
    9. Olli Kamarainen, Hani El Sakkout
      Pages 155-171
    10. Djamal Habet, Chu Min Li, Laure Devendeville, Michel Vasquez
      Pages 172-184
    11. Richard Ostrowski, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs
      Pages 185-199
    12. Wei Wei, Bart Selman
      Pages 216-232
    13. Frank Hutter, Dave A. D. Tompkins, Holger H. Hoos
      Pages 233-248
    14. Francesca Rossi, Alessandro Sperduti, Kristen B. Venable, Lina Khatib, Paul Morris, Robert Morris
      Pages 249-264
    15. Pedro Mesegue, Martí Sánchez, Gérard Verfaillie
      Pages 264-279
    16. Thierry Petit, Jean-Charles Régin, Christian Bessière
      Pages 280-294
    17. David G. Mitchell
      Pages 295-310
    18. Víctor Dalmau, Phokion G. Kolaitis, Moshe Y. Vardi
      Pages 310-326
    19. Ola Angelsmark, Peter Jonsson, Svante Linusson, Johan Thapper
      Pages 327-340
    20. Spiros Skiadopoulos, Manolis Koubarakis
      Pages 341-356
    21. Boi Faltings, Santiago Macho-Gonzalez
      Pages 356-371
    22. Lucas Bordeaux, Eric Monfroy
      Pages 371-386
    23. Makoto Yokoo, Koutarou Suzuki, Katsutoshi Hirayama
      Pages 387-401
    24. Ian P. Gent, Warwick Harvey, Tom Kelsey
      Pages 415-430
    25. Iain McDonald, Barbara Smith
      Pages 431-445
    26. Jean-François Puget
      Pages 446-461
    27. Pierre Flener, Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Justin Pearson et al.
      Pages 462-477
    28. Nicolas Barnier, Pascal Brisset
      Pages 477-491
    29. Susan L. Epstein, Eugene C. Freuder, Richard Wallace, Anton Morozov, Bruce Samuels
      Pages 525-540
    30. Thi Bich Hanh Dao, Arnaud Lallouet, Andrei Legtchenko, Lionel Martin
      Pages 541-556
    31. Kevin Leyton-Brown, Eugene Nudelman, Yoav Shoham
      Pages 556-572
    32. Yongshao Ruan, Eric Horvitz, Henry Kautz
      Pages 573-586
  3. Innovative Application

    1. Thierry Benoist, Etienne Gaudin, Benoit Rottembourg
      Pages 603-617
    2. Marc Christie, Éric Languénou, Laurent Granvilliers
      Pages 618-632
    3. Claude Le Pape, Laurent Perron, Jean-Charles Régin, Paul Shaw
      Pages 633-648
    4. Muriel Lauvergne, Philippe David, Patrice Boizumault
      Pages 649-663
    5. Cèsar Fernàndez, Ramón Béjar, Bhaskar Krishnamachari, Carla Gomes
      Pages 664-679
  4. Posters

    1. John N. Hooker, Hong Yan
      Pages 686-691
    2. Peter J. Stuckey, Lei Zheng
      Pages 691-695
    3. Jakob Mauss, Frank Seelisch, Mugur Tatar
      Pages 696-701
    4. Abdallah Elkhyari, Christelle Guéret, Narendra Jussien
      Pages 702-707

About these proceedings


This book constitutes the refereed proceedings of the 8th International Conference on Principles and Practice of Constraint Programming, CP 2002, held in Ithaca, NY, USA in September 2002.
The 38 revised full papers and 6 innovative application papers as well as the 14 short papers presented toghether with 25 abstracts from contributions to the doctoral program were carefully reviewed and selected from 146 submissions. All current issues in constraint processing are addressed, ranging from theoretical and foundational issues to application in various fields.


Constraint Logic Programming Constraint Programming Constraint Propagation Constraint Satisfaction Decision Making Distributed Making Linear Constraints Search Algorithms Variable algorithm complexity heuristics optimization programming proving

Editors and affiliations

  • Pascal Van Hentenryck
    • 1
  1. 1.Brown UniversityProvidenceUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-44120-5
  • Online ISBN 978-3-540-46135-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site