Principles and Practice of Constraint Programming - CP '95 Book

	Complete Solving of Linear Diophantine Equations and Inequations without Adding Variables	1
	From Elliott-MacMahon to an Algorithm for General Linear Constraints on Naturals	18
	The Progressive Party Problem: Integer Linear Programming and Constraint Programming Compared	36
	From Local to Global Consistency in Temporal Constraint Networks	53
	Scaling Effects in the CSP Phase Transition	70
	Asynchronous Weak-Commitment Search for Solving Distributed Constraint Satisfaction Problems	88
	Optimization-Based Heuristics for Maximal Constraint Satisfaction	103
	First-Order Definability over Constraint Databases	121
	On Similarity Queries for Time-Series Data: Constraint Specification and Implementation	137
	Safe Stratified Datalog with Integer Order Programs	154
	Constrained Dependencies	170
	Solving Linear, Min and Max Constraint Systems Using CLP Based on Relational Interval Arithmetic	186
	Debugging Constraint Programs	204
	An Optimizing Compiler for CLP(R)	222
	Local and Global Relational Consistency	240
	Dynamic Variable Ordering in CSPs	258
	A Unifying Framework for Tractable Constraints	276
	On the Forward Checking Algorithm	292
	A Confluent Calculus for Concurrent Constraint Programming with Guarded Choice	310
	Situated Simplification	328
	Guarded Constructive Disjunction : Angel or Demon?	345
	Domain Independent Ask Approximation in CCP	362
	On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers	380
	Constraint Propagation in Model Generation	398
	Normalizing Narrowing for Weakly Terminating and Confluent Systems	415
	On Termination of Constraint Logic Programs	431
	Modelling Producer/Consumer Constraints	449
	A Constraint-Based Approach to Diagnosing Software Problems in Computer Networks	463
	Solving Crew Scheduling Problems by Constraint Programming	481
	A Visual Constraint-Programming Environment	499
	Polynomial Restrictions of SAT: What Can Be Done with an Efficient Implementation of the Davis and Putnam's Procedure?	515
	Improved Branch and Bound in Constraint Logic Programming	533
	Reducing Domains for Search in CLP(FD) and Its Application to Job-Shop Scheduling	549
	What is Symbolic Computation?	563
	Constraint Solving for Combinatorial Search Problems: A Tutorial	564
	The Concurrent Constraint Programming Research Programmes	588
	Automatic Generation of Invariants and Intermediate Assertions	589
	The OTI Constraint Solver: A Constraint Library for Constructing Interactive Graphical User Interfaces	624
	Model-Based Computing: Using Concurrent Constraint Programming for Modeling and Model Compilation	629
	CLP in ECRC	636
	Constraint Programming and Industrial Applications	640
	The CHIP System and Its Applications	643
	Applications of Constraint Programming	647
	Author Index	651