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

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