© 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

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