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

Front Cover
Alan Borning
Springer Science & Business Media, Oct 12, 1994 - Computers - 360 pages
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.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

A Substitution Operation for Constraints
1
Contradicting Conventional Wisdom in Constraint Satisfaction
10
Nogood backmarking with minconflict repair in constraint satisfaction and optimization
21
Global Consistency for Continuous Constraints
40
Locally Simultaneous Constraint Satisfaction
51
Inferring 3dimensional constraints with DEVI
78
Beyond Finite Domains
86
Adding the Power of Quadratic Constraints
95
Foundations of Aggregation Constraints
193
ConstraintGenerating Dependencies
205
Constraint Objects
218
Specification and Verification of ConstraintBased Dynamic Systems
229
GSAT and Dynamic Backtracking
243
Foundations of Indefinite Constraint Databases
266
Set Constraints and SetBased Analysis
281
On the Design of Constraint Satisfaction Problems
299

Applications in Constraint Logic Programming with Strings
109
Some Methodological Issues in the Design of CIAO a Generic Parallel Concurrent Constraint Logic Programming System
123
Encapsulated Search and Constraint Programming in Oz
134
Towards a Concurrent Semantics based Analysis of CC and CLP
151
A Concurrent Semantics
162
Efficient and Complete Tests for Database Integrity Constraint Checking
173
Linear vs Polynomial Constraints in Database Query Languages
181
Experiences with Constraintbased Array Dependence Analysis
312
Results Applications and Future Directions
326
LogicBased Methods for Optimization
336
Commercial Applications of Constraint Programming
350
Author Index
361
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information