Principles and Practice of Constraint Programming — CP96

Second International Conference, CP96 Cambridge, MA, USA, August 19–22, 1996 Proceedings

Editors:

ISBN: 978-3-540-61551-4 (Print) 978-3-540-70620-5 (Online)

Table of contents (61 chapters)

previous Page of 4
  1. Front Matter

    Pages -

  2. No Access

    Book Chapter

    Pages 1-15

    On confluence of Constraint Handling Rules

  3. No Access

    Book Chapter

    Pages 16-30

    A labelling arc consistency method for functional constraints

  4. No Access

    Book Chapter

    Pages 31-45

    Constraint satisfaction in optical routing for passive wavelength-routed networks

  5. No Access

    Book Chapter

    Pages 46-60

    Using CSP look-back techniques to solve exceptionally hard SAT instances

  6. No Access

    Book Chapter

    Pages 61-75

    MAC and combined heuristics: Two reasons to forsake FC (and CBJ?) on hard problems

  7. No Access

    Book Chapter

    Pages 76-90

    The independence property of a class of set constraints

  8. No Access

    Book Chapter

    Pages 91-103

    Speeding up constraint propagation by redundant modeling

  9. No Access

    Book Chapter

    Pages 104-118

    A constraint-based interactive train rescheduling tool

  10. No Access

    Book Chapter

    Pages 119-133

    Local search and the number of solutions

  11. No Access

    Book Chapter

    Pages 134-148

    Derivation of constraints and database relations

  12. No Access

    Book Chapter

    Pages 149-163

    Constraint programming: an efficient and practical approach to solving the job-shop problem

  13. No Access

    Book Chapter

    Pages 164-178

    An instance of adaptive constraint propagation

  14. No Access

    Book Chapter

    Pages 179-193

    An empirical study of dynamic variable ordering heuristics for the constraint satisfaction problem

  15. No Access

    Book Chapter

    Pages 194-208

    Empirical studies of heuristic local search for constraint solving

  16. No Access

    Book Chapter

    Pages 209-223

    Defeasibility in CLP( \(\mathcal{Q}\) ) through generalized slack variables

  17. No Access

    Book Chapter

    Pages 224-236

    Inference duality as a basis for sensitivity analysis

  18. No Access

    Book Chapter

    Pages 237-251

    Generalized local propagation: A framework for solving constraint hierarchies

  19. No Access

    Book Chapter

    Pages 252-266

    Transformations between HCLP and PCSP

  20. No Access

    Book Chapter

    Pages 267-281

    A test for tractability

  21. No Access

    Book Chapter

    Pages 282-296

    Combination of constraint systems II: Rational amalgamation

previous Page of 4