Skip to main content
  • Conference proceedings
  • © 1994

Principles and Practice of Constraint Programming

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

Editors:

Conference proceedings info: PPCP 1994.

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

  1. Specification and verification of constraint-based dynamic systems

    • Ying Zhang, Alan K. Mackworth
    Pages 229-242
  2. GSAT and dynamic backtracking

    • Matthew L. Ginsberg, David McAllester
    Pages 243-265
  3. Foundations of indefinite constraint databases

    • Manolis Koubarakis
    Pages 266-280
  4. Set constraints and set-based analysis

    • Nevin Heintze, Joxan Jaffar
    Pages 281-298
  5. On the design of constraint satisfaction problems

    • Massimo Paltrinieri
    Pages 299-311
  6. Experiences with constraint-based array dependence analysis

    • William Pugh, David Wonnacott
    Pages 312-325
  7. Logic-based methods for optimization

    • J. N. Hooker
    Pages 336-349
  8. Panel session: Commercial Applications of Constraint programming

    • David Kurlander, Jean-Francois Puget, Jeff Heisserman
    Pages 350-360
  9. Back Matter

Other Volumes

  1. Principles and Practice of Constraint Programming

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

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