Skip to main content
  • Conference proceedings
  • © 2001

Principles and Practice of Constraint Programming - CP 2001

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

Editors:

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

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (84 papers)

  1. Front Matter

    Pages I-XIV
  2. Towards Inductive Constraint Solving

    • Slim Abdennadher, Christophe Rigotti
    Pages 31-45
  3. Collaborative Learning for Constraint Solving

    • Susan L. Epstein, Eugene C. Freuder
    Pages 46-60
  4. Towards Stochastic Constraint Programming: A Study of Onine Multi-Choice Knapsack with Deadlines

    • Thierry Benoist, Eric Bourreau, Yves Caseau, Benoît Rottembourg
    Pages 61-76
  5. Global Cut Framework for Removing Symmetries

    • Filippo Focacci, Michaela Milano
    Pages 77-92
  6. Symmetry Breaking

    • Torsten Fahle, Stefan Schamberger, Meinolf Sellmann
    Pages 93-107
  7. Random 3-SAT and BDDs: The Plot Thickens Further

    • Alfonso San Miguel Aguirre, MosheY. Vardi
    Pages 121-136
  8. Capturing Structure with Satisfiability

    • Ramón Béjar, Alba Cabiscol, Cèsar Fernàndez, Felip Manyà, Carla Gomes
    Pages 137-152
  9. Solving Non-binary CSPs Using the Hidden Variable Encoding

    • Nikos Mamoulis, Kostas Stergiou
    Pages 168-182
  10. Network Flow Problems in Constraint Programming

    • Alexander Bockmayr, Nicolai Pisaruk, Abderrahmane Aggoun
    Pages 196-210
  11. A Constraint Programming Approach to the Stable Marriage Problem

    • Ian P. Gent, Robert W. Irving, David F. Manlove, Patrick Prosser, Barbara M. Smith
    Pages 225-239
  12. Components for State Restoration in Tree Search

    • Chiu Wo Choi, Martin Henz, Ka Boon Ng
    Pages 240-255
  13. Consistency Maintenance for ABT

    • Marius-Călin Silaghi, Djamila Sam-Haroud, Boi Faltings
    Pages 271-285

About this book

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.

Editors and Affiliations

  • Department of Computer Science, The University of York, Heslington, UK

    Toby Walsh

Bibliographic Information

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access