Skip to main content
SpringerLink
Log in

Principles and Practice of Constraint Programming - CP'96

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

  • Conference proceedings
  • © 1996

Overview

Editors:
  1. Eugene C. Freuder
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: CP 1996.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

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.

Similar content being viewed by others

Keywords

Table of contents (61 papers)

  1. Front Matter

    Download chapter PDF

  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. Constraint satisfaction in optical routing for passive wavelength-routed networks

    • Dhritiman Banerjee, Jeremy Frank
    Pages 31-45

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

    • Roberto J. Bayardo Jr., Robert Schrag
    Pages 46-60

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

    • Christian Bessière, Jean-Charles Régin
    Pages 61-75

  7. The independence property of a class of set constraints

    • Witold Charatonik, Andreas Podelski
    Pages 76-90

  8. Speeding up constraint propagation by redundant modeling

    • B. M. W. Cheng, J. H. M. Lee, J. C. K. Wu
    Pages 91-103

  9. 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

  10. Local search and the number of solutions

    • David A. Clark, Jeremy Frank, Ian P. Gent, Ewan MacIntyre, Neven Tomov, Toby Walsh
    Pages 119-133

  11. Derivation of constraints and database relations

    • David Cohen, Marc Gyssens, Peter Jeavons
    Pages 134-148

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

    • Yves Colombani
    Pages 149-163

  13. An instance of adaptive constraint propagation

    • Hani El Sakkout, Mark G. Wallace, E. Barry Richards
    Pages 164-178

  14. 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

  15. Empirical studies of heuristic local search for constraint solving

    • Jin-Kao Hao, Raphaël Dorne
    Pages 194-208

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

    • Christian Holzbaur, Francisco Menezes, Pedro Barahona
    Pages 209-223

  17. Inference duality as a basis for sensitivity analysis

    • J. N. Hooker
    Pages 224-236

  18. Generalized local propagation: A framework for solving constraint hierarchies

    • Hiroshi Hosobe, Satoshi Matsuoka, Akinori Yonezawa
    Pages 237-251

  19. Transformations between HCLP and PCSP

    • Michael Jampel, Jean-Marie Jacquet, David Gilbert, Sebastian Hunt
    Pages 252-266

  20. A test for tractability

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

Other volumes

  1. Principles and Practice of Constraint Programming — CP96

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation