Skip to main content
SpringerLink
Log in
Book cover

Principles and Practice of Constraint Programming

Second International Workshop, PPCP '94, Rosario, Orcas Island, WA, USA, May 2 - 4, 1994. Proceedings

  • Conference proceedings
  • © 1994

Overview

Editors:
  1. Alan Borning
    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 874)

Included in the following conference series:

Conference proceedings info: PPCP 1994.

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

Table of contents (28 papers)

  1. Front Matter

    Download chapter PDF

  2. A substitution operation for constraints

    • Peter Jeavons, David Cohen, Martin Cooper
    Pages 1-9

  3. Contradicting conventional wisdom in constraint satisfaction

    • Daniel Sabin, Eugene C. Freuder
    Pages 10-20

  4. Nogood backmarking with min-conflict repair in constraint satisfaction and optimization

    • Yuejun Jiang, Thomas Richards, Barry Richards
    Pages 21-39

  5. Global consistency for continuous constraints

    • D. Haroud, B. Faltings
    Pages 40-50

  6. Locally simultaneous constraint satisfaction

    • Hiroshi Hosobe, Ken Miyashita, Shin Takahashi, Satoshi Matsuoka, Akinori Yonezawa
    Pages 51-62

  7. Analyzing and debugging hierarchies of multi-way local propagation constraints

    • Michael Sannella
    Pages 63-77

  8. Inferring 3-dimensional constraints with DEVI

    • Suresh Thennarangam, Gurminder Singh
    Pages 78-85

  9. Beyond finite domains

    • Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap
    Pages 86-94

  10. QUAD-CLP(R): Adding the power of quadratic constraints

    • Gilles Pesant, Michel Boyer
    Pages 95-108

  11. Applications in constraint logic programming with strings

    • Arcot Rajasekar
    Pages 109-122

  12. Some methodological issues in the design of CIAO, a generic, parallel concurrent constraint logic programming system

    • M. Hermenegildo
    Pages 123-133

  13. Encapsulated search and constraint programming in Oz

    • Christian Schulte, Gert Smolka, Jörg Würtz
    Pages 134-150

  14. Towards a concurrent semantics based analysis of CC and CLP

    • U. Montanari, F. Rossi, F. Bueno, M. García de la Banda, M. Hermenegildo
    Pages 151-161

  15. CC programs with both in- and non-determinism: A concurrent semantics

    • Ugo Montanari, Francesca Rossi, Vijay Saraswat
    Pages 162-172

  16. Efficient and complete tests for database integrity constraint checking

    • Ashish Gupta, Yehoshua Sagiv, Jeffrey D. Ullman, Jennifer Widom
    Pages 173-180

  17. Linear vs. polynomial constraints in database query languages

    • Foto Afrati, Stavros S. Cosmadakis, Stéphane Grumbach, Gabriel M. Kuper
    Pages 181-192

  18. Foundations of aggregation constraints

    • Kenneth A. Ross, Divesh Srivastava, Peter J. Stuckey, S. Sudarshan
    Pages 193-204

  19. Constraint-generating dependencies

    • Marianne Baudinet, Jan Chomicki, Pierre Wolper
    Pages 205-217

  20. Constraint objects

    • Divesh Srivastava, Raghu Ramakrishnan, Peter Z. Revesz
    Pages 218-228
Back to top

Other volumes

  1. Principles and Practice of Constraint Programming

Keywords

About this book

This volume is the proceedings of the Second International Workshop on the Principles and Practice of Constraint Programming, held at Rosario, Orcas Island, Washington, USA in May 1994 in cooperation with AAAI and ALP.
The volume contains 27 full revised papers selected from 87 submissions as well as a summary of a panel session on commercial applications of constraint programming. The contributions cover a broad range of topics including constraint programming languages, algorithms for constraint satisfaction and entailment, and constraints and their relation to fields such as artificial intelligence, databases, operations research, problem solving, and user interfaces.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation