Principles and Practice of Constraint Programming: Second International Workshop, PPCP '94 Rosario, Orcas Island, WA, USA, May 2–4, 1994 Proceedings

✍ Scribed by Peter Jeavons, David Cohen, Martin Cooper (auth.), Alan Borning (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 1994
• Tongue: English
• Leaves: 371
• Series: Lecture Notes in Computer Science 874
• Edition: 1
• Category: Library

✦ Synopsis

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.

✦ Table of Contents

A substitution operation for constraints....Pages 1-9
Contradicting conventional wisdom in constraint satisfaction....Pages 10-20
Nogood backmarking with min-conflict repair in constraint satisfaction and optimization....Pages 21-39
Global consistency for continuous constraints....Pages 40-50
Locally simultaneous constraint satisfaction....Pages 51-62
Analyzing and debugging hierarchies of multi-way local propagation constraints....Pages 63-77
Inferring 3-dimensional constraints with DEVI....Pages 78-85
Beyond finite domains....Pages 86-94
QUAD-CLP(R): Adding the power of quadratic constraints....Pages 95-108
Applications in constraint logic programming with strings....Pages 109-122
Some methodological issues in the design of CIAO, a generic, parallel concurrent constraint logic programming system....Pages 123-133
Encapsulated search and constraint programming in O z ....Pages 134-150
Towards a concurrent semantics based analysis of CC and CLP....Pages 151-161
CC programs with both in- and non-determinism: A concurrent semantics....Pages 162-172
Efficient and complete tests for database integrity constraint checking....Pages 173-180
Linear vs. polynomial constraints in database query languages....Pages 181-192
Foundations of aggregation constraints....Pages 193-204
Constraint-generating dependencies....Pages 205-217
Constraint objects....Pages 218-228
Specification and verification of constraint-based dynamic systems....Pages 229-242
GSAT and dynamic backtracking....Pages 243-265
Foundations of indefinite constraint databases....Pages 266-280
Set constraints and set-based analysis....Pages 281-298
On the design of constraint satisfaction problems....Pages 299-311
Experiences with constraint-based array dependence analysis....Pages 312-325
Set constraints: Results, applications and future directions....Pages 326-335
Logic-based methods for optimization....Pages 336-349
Panel session: Commercial Applications of Constraint programming....Pages 350-360

✦ Subjects

Programming Techniques; Programming Languages, Compilers, Interpreters; Database Management; Artificial Intelligence (incl. Robotics)