© 2001

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


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.


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

Industry Sectors
Chemical Manufacturing
IT & Software
Finance, Business & Banking
Energy, Utilities & Environment