Principles and Practice of Constraint Programming — CP 2001

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

Editors:

ISBN: 978-3-540-42863-3 (Print) 978-3-540-45578-3 (Online)

Table of contents (84 chapters)

previous Page of 5
  1. No Access

    Book Chapter

    Pages 1-15

    Hybrid Benders Decomposition Algorithms in Constraint Logic Programming

  2. No Access

    Book Chapter

    Pages 16-30

    Branch-and-Check: A Hybrid Framework Integrating Mixed Integer Programming and Constraint Logic Programming

  3. No Access

    Book Chapter

    Pages 31-45

    Towards Inductive Constraint Solving

  4. No Access

    Book Chapter

    Pages 46-60

    Collaborative Learning for Constraint Solving

  5. No Access

    Book Chapter

    Pages 61-76

    Towards Stochastic Constraint Programming: A Study of Onine Multi-Choice Knapsack with Deadlines

  6. No Access

    Book Chapter

    Pages 77-92

    Global Cut Framework for Removing Symmetries

  7. No Access

    Book Chapter

    Pages 93-107

    Symmetry Breaking

  8. No Access

    Book Chapter

    Pages 108-120

    The Non-existence of (3,1,2)-Conjugate Orthogonal Idempotent Latin Square of Order 10

  9. No Access

    Book Chapter

    Pages 121-136

    Random 3-SAT and BDDs: The Plot Thickens Further

  10. No Access

    Book Chapter

    Pages 137-152

    Capturing Structure with Satisfiability

  11. No Access

    Book Chapter

    Pages 153-167

    Phase Transitions and Backbones of 3-SAT and Maximum 3-SAT

  12. No Access

    Book Chapter

    Pages 168-182

    Solving Non-binary CSPs Using the Hidden Variable Encoding

  13. No Access

    Book Chapter

    Pages 183-195

    A Filtering Algorithm for the Stretch Constraint

  14. No Access

    Book Chapter

    Pages 196-210

    Network Flow Problems in Constraint Programming

  15. No Access

    Book Chapter

    Pages 211-224

    Pruning for the Minimum Constraint Family and for the Number of Distinct Values Constraint Family

  16. No Access

    Book Chapter

    Pages 225-239

    A Constraint Programming Approach to the Stable Marriage Problem

  17. No Access

    Book Chapter

    Pages 240-255

    Components for State Restoration in Tree Search

  18. No Access

    Book Chapter

    Pages 256-270

    Adaptive Constraint Handling with CHR in Java

  19. No Access

    Book Chapter

    Pages 271-285

    Consistency Maintenance for ABT

  20. No Access

    Book Chapter

    Pages 286-301

    Constraint-Based Verification of Client-Server Protocols

previous Page of 5