Skip to main content
  • Conference proceedings
  • © 1996

Principles and Practice of Constraint Programming - CP'96

Second International Conference, CP '96, Cambridge, MA, USA, August 19 - 22, 1996. Proceedings

Conference proceedings info: CP 1996.

Buy it now

Buying options

Softcover Book USD 54.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 (61 papers)

  1. Front Matter

  2. On confluence of Constraint Handling Rules

    • Slim Abdennadher, Thom Frühwirth, Holger Meuss
    Pages 1-15
  3. A labelling arc consistency method for functional constraints

    • M. S. Affane, H. Bennaceur
    Pages 16-30
  4. Using CSP look-back techniques to solve exceptionally hard SAT instances

    • Roberto J. Bayardo Jr., Robert Schrag
    Pages 46-60
  5. MAC and combined heuristics: Two reasons to forsake FC (and CBJ?) on hard problems

    • Christian Bessière, Jean-Charles Régin
    Pages 61-75
  6. The independence property of a class of set constraints

    • Witold Charatonik, Andreas Podelski
    Pages 76-90
  7. Speeding up constraint propagation by redundant modeling

    • B. M. W. Cheng, J. H. M. Lee, J. C. K. Wu
    Pages 91-103
  8. A constraint-based interactive train rescheduling tool

    • C. K. Chiu, C. M. Chou, J. H. M. Lee, H. F. Leung, Y. W. Leung
    Pages 104-118
  9. Local search and the number of solutions

    • David A. Clark, Jeremy Frank, Ian P. Gent, Ewan MacIntyre, Neven Tomov, Toby Walsh
    Pages 119-133
  10. Derivation of constraints and database relations

    • David Cohen, Marc Gyssens, Peter Jeavons
    Pages 134-148
  11. An instance of adaptive constraint propagation

    • Hani El Sakkout, Mark G. Wallace, E. Barry Richards
    Pages 164-178
  12. An empirical study of dynamic variable ordering heuristics for the constraint satisfaction problem

    • Ian P. Gent, Ewan MacIntyre, Patrick Presser, Barbara M. Smith, Toby Walsh
    Pages 179-193
  13. Empirical studies of heuristic local search for constraint solving

    • Jin-Kao Hao, Raphaël Dorne
    Pages 194-208
  14. Defeasibility in CLP(\(\mathcal{Q}\)) through generalized slack variables

    • Christian Holzbaur, Francisco Menezes, Pedro Barahona
    Pages 209-223
  15. Generalized local propagation: A framework for solving constraint hierarchies

    • Hiroshi Hosobe, Satoshi Matsuoka, Akinori Yonezawa
    Pages 237-251
  16. Transformations between HCLP and PCSP

    • Michael Jampel, Jean-Marie Jacquet, David Gilbert, Sebastian Hunt
    Pages 252-266
  17. A test for tractability

    • Peter Jeavons, David Cohen, Marc Gyssens
    Pages 267-281

Other Volumes

  1. Principles and Practice of Constraint Programming — CP96

About this book

This book constitutes the refereed proceedings of the Second International Conference on Principles and Practice of Constraint Programming, CP '96, held in Cambridge, MA, USA in August 1996.
The 36 revised full papers presented in the volume were selected from over 100 submissions; also included are abstracts of 22 selected poster presentations and 3 special lectures. CP is the flagship conference series on constraint processing with a number of satellite activities; thus the volume reflects the state of the art in the field.

Bibliographic Information

Buy it now

Buying options

Softcover Book USD 54.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