Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1995

Principles and Practice of Constraint Programming - CP '95

First International Conference, CP '95, Cassis, France, September 19 - 22, 1995. Proceedings

Editors:

  1. Ugo Montanari
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Francesca Rossi
    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 976)

Sections

Buy it now

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 (43 papers)

  1. Front Matter

    PDF

  4. The progressive party problem: Integer linear programming and constraint programming compared

    • Barbara M. Smith, Sally C. Brailsford, Peter M. Hubbard, H. Paul Williams
    Pages 36-52

  6. Scaling effects in the CSP phase transition

    • Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh
    Pages 70-87

  8. Optimization-based heuristics for maximal constraint satisfaction

    • Javier Larrosa, Pedro Meseguer
    Pages 103-120

  9. First-order definability over constraint databases

    • Stéphane Grumbach, Jianwen Su
    Pages 121-136

  12. Constrained dependencies

    • Michael J. Maher
    Pages 170-185

  13. Solving linear, min and max constraint systems using CLP based on relational interval arithmetic

    • Pierre Girodias, Eduard Cerny, William J. Older
    Pages 186-203

  14. Debugging constraint programs

    • Micha Meier
    Pages 204-221

  15. An optimizing compiler for CLP(ℛ)

    • Andrew D. Kelly, Andrew Macdonald, Kim Marriott, Harald Søndergaard, Peter J. Stuckey, Roland H. C. Yap
    Pages 222-239

  16. Local and global relational consistency

    • Rina Dechter, Peter van Beek
    Pages 240-257

  17. Dynamic variable ordering in CSPs

    • Fahiem Bacchus, Paul van Run
    Pages 258-275

  18. A unifying framework for tractable constraints

    • Peter Jeavons, David Cohen, Marc Gyssens
    Pages 276-291

  19. On the forward checking algorithm

    • Fahiem Bacchus, Adam Grove
    Pages 292-309
Back to top

About this book

This book constitutes the proceedings of the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Cassis near Marseille, France in September 1995.
The 33 refereed full papers included were selected out of 108 submissions and constitute the main part of the book; in addition there is a 60-page documentation of the four invited papers and a section presenting industrial reports. Thus besides having a very strong research component, the volume will be attractive for practitioners. The papers are organized in sections on efficient constraint handling, constraint logic programming, concurrent constraint programming, computational logic, applications, and operations research.
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation