Skip to main content
SpringerLink
Log in
Book cover

Principles and Practice of Constraint Programming - CP '95

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

  • Conference proceedings
  • © 1995

Overview

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)

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

Licence this eBook for your library

Institutional subscriptions

Table of contents (43 papers)

  1. Front Matter

    Download chapter PDF

  2. Complete solving of linear Diophantine equations and inequations without adding variables

    • Farid Ajili, Evelyne Contejean
    Pages 1-17

  3. From Elliott-MacMahon to an algorithm for general linear constraints on naturals

    • Eric Domenjoud, Ana Paula Tomás
    Pages 18-35

  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

  5. From local to global consistency in temporal constraint networks

    • Manolis Koubarakis
    Pages 53-69

  6. Scaling effects in the CSP phase transition

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

  7. Asynchronous weak-commitment search for solving distributed constraint satisfaction problems

    • Makoto Yokoo
    Pages 88-102

  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

  10. On similarity queries for time-series data: Constraint specification and implementation

    • Dina Q. Goldin, Paris C. Kanellakis
    Pages 137-153

  11. Safe stratified datalog with integer order programs

    • Peter Z. Revesz
    Pages 154-169

  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

  20. A confluent calculus for concurrent constraint programming with guarded choice

    • Kim Marriott, Martin Odersky
    Pages 310-327
Back to top

Keywords

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation