Advertisement

Principles and Practice of Constraint Programming — CP 2001

7th International Conference, CP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings

  • Toby Walsh
Conference proceedings CP 2001

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

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Slim Abdennadher, Christophe Rigotti
    Pages 31-45
  3. Susan L. Epstein, Eugene C. Freuder
    Pages 46-60
  4. Thierry Benoist, Eric Bourreau, Yves Caseau, Benoît Rottembourg
    Pages 61-76
  5. Filippo Focacci, Michaela Milano
    Pages 77-92
  6. Torsten Fahle, Stefan Schamberger, Meinolf Sellmann
    Pages 93-107
  7. Alfonso San Miguel Aguirre, MosheY. Vardi
    Pages 121-136
  8. Ramón Béjar, Alba Cabiscol, Cèsar Fernàndez, Felip Manyà, Carla Gomes
    Pages 137-152
  9. Nikos Mamoulis, Kostas Stergiou
    Pages 168-182
  10. Alexander Bockmayr, Nicolai Pisaruk, Abderrahmane Aggoun
    Pages 196-210
  11. Ian P. Gent, Robert W. Irving, David F. Manlove, Patrick Prosser, Barbara M. Smith
    Pages 225-239
  12. Chiu Wo Choi, Martin Henz, Ka Boon Ng
    Pages 240-255
  13. Marius-Călin Silaghi, Djamila Sam-Haroud, Boi Faltings
    Pages 271-285
  14. Giorgio Delzanno, Tevfik Bultan
    Pages 286-301
  15. Catuscia Palamidessi, Frank D. Valencia
    Pages 302-316
  16. Pedro Meseguer, Javier Larrosa, Martí Sánchez
    Pages 317-331
  17. Jean-Charles Régin, Thierry Petit, Christian Bessière, Jean-François Puget
    Pages 332-345
  18. Rina Dechter, Kalev Kask, Javier Larrosa
    Pages 346-360
  19. Kim Marriott, Peter Moulder, Peter J. Stuckey, Alan Borning
    Pages 361-376
  20. Nicolas Beldiceanu, Qi Guo, Sven Thiel
    Pages 392-407
  21. Hubie Chen, Carla Gomes, Bart Selman
    Pages 408-421
  22. Alessandro Armando, Felice Peccia, Silvio Ranise
    Pages 422-432
  23. Phokion G. Kolaitis, Thomas Raffill
    Pages 433-450
  24. Thierry Petit, Jean-Charles Régin, Christian Bessière
    Pages 451-463
  25. Pedro Meseguer, Martì Sánchez
    Pages 464-478
  26. Martin T. Swain, Graham J. L. Kemp
    Pages 479-493
  27. Rolf Backofen, Sebastian Will
    Pages 494-508
  28. Martin Henz, Edgar Tan, Roland Yap
    Pages 509-523
  29. C. Michel, M. Rueher, Y. Lebbah
    Pages 524-538
  30. Micha Janssen, Pascal Van Hentenryck, Yves Deville
    Pages 539-553
  31. Christian Bessiére, Assef Chmeiss, Lakhdar Saïs
    Pages 565-569
  32. Simon Colton, Ian Miguel
    Pages 575-579
  33. Kelly Easton, George Nemhauser, Michael Trick
    Pages 580-584
  34. Freuder Eugene C., Chavalit Likitvivatanavong, Wallace Richard J.
    Pages 585-589
  35. Freuder Eugene C., Barry O’Sullivan
    Pages 590-594
  36. Gasca Rafael M., Ortega Juan A., Miguel Toro
    Pages 595-599
  37. Laurent Granvilliers, Eric Monfroy
    Pages 600-604
  38. George Katsirelos, Fahiem Bacchus
    Pages 610-614

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 7th International Conference on Principles and Practice of Constraint Programming, CP 2001, held in Paphos, Cyprus, in November/December 2001.
The 37 revised full papers, 9 innovative applications presentations, and 14 short papers presented were carefully reviewed and selected from a total of 135 submissions. All current issues in constraint processing are addressed, ranging from theoretical and foundational issues to advanced and innovative applications in a variety of fields.

Keywords

3-SAT Adaptive Constraint Handling Constraint Programming Constraint Propagation Interval Constraints Java Set Constraints Timetabling algorithm algorithms logic model checking modeling optimization programming

Editors and affiliations

  • Toby Walsh
    • 1
  1. 1.Department of Computer ScienceThe University of YorkHeslingtonUK

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45578-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-42863-3
  • Online ISBN 978-3-540-45578-3
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site