Principles and Practice of Constraint Programming - CP'96 Book

	On Confluence of Constraint Handling Rules	1
	A Labelling Arc Consistency Method for Functional Constraints	16
	Constraint Satisfaction in Optical Routing for Passive Wavelength-Routed Networks	31
	Using CSP Look-Back Techniques to Solve Exceptionally Hard SAT Instances	46
	MAC and Combined Heuristics: Two Reasons to Forsake FC (and CBJ?) on Hard Problems	61
	The Independence Property of a Class of Set Constraints	76
	Speeding Up Constraint Propagation by Redundant Modeling	91
	A Constraint-Based Interactive Train Rescheduling Tool	104
	Local Search and the Number of Solutions	119
	Derivation of Constraints and Database Relations	134
	Constraint Programming: An Efficient and Practical Approach to Solving the Job-Shop Problem	149
	An Instance of Adaptive Constraint Propagation	164
	An Empirical Study of Dynamic Variable Ordering Heuristics for the Constraint Satisfaction Problem	179
	Empirical Studies of Heuristic Local Search for Constraint Solving	194
	Defeasibility in CLP(Q) through Generalized Slack Variables	209
	Inference Duality as a Basis for Sensitivity Analysis	224
	Generalized Local Propagation: A Framework for Solving Constraint Hierarchies	237
	Transformations Between HCLP and PCSP	252
	A Test for Tractability	267
	Combination of Constraint Systems II: Rational Amalgamation	282
	Tractable Disjunctions of Linear Constraints	297
	Exploiting the Use of DAC in MAX-CSP	308
	A New Approach for Weighted Constraint Satisfaction: Theoretical and Computational Results	323
	Towards a More Efficient Stochastic Constraint Solver	338
	A View of Local Search in Constraint Programming	353
	From Quasi-Solutions to Solution: An Evolutionary Algorithm to Solve CSP	367
	Existential Variables and Local Consistency in Finite Domain Constraint Problems	382
	Logical Semantics of Concurrent Constraint Programming	397
	Solving Non-Binary Convex CSPs in Continuous Domains	410
	An Experimental Comparison of Three Modified DeltaBlue Algorithms	425
	Constraint Logic Programming over Unions of Constraint Theories	436
	Analysis of Hybrid Systems in CLP(R)	451
	On Query Languages for Linear Queries Definable with Polynomial Constraints	468
	Analysis of Heuristic Methods for Partial Constraint Satisfaction Problems	482
	Solving Satisfiability Problems Using Field Programmable Gate Arrays: First Results	497
	A Constraint Program for Solving the Job-Shop Problem	510
	PSAP - A Planning System for Aircraft Production	525
	Using Partial Arc Consistency in a Database Environment	527
	Functional Constraint Hierarchies in CLP	529
	Towards an Open Finite Domain Constraint Solver	531
	Efficient Constraint Propagation with Good Space Complexity	533
	Anytime Temporal Reasoning: Preliminary Report	535
	From Constraint Minimization to Goal Optimization in CLP Languages	537
	Looking at Full Looking Ahead	539
	The Arc and Path Consistency Phase Transitions	541
	Experiences with Combining Constraint Programming and Discrete Event Simulation	543
	Hill-Climbing with Local Consistency for Solving Distributed CSPs	545
	Approximate Algorithms for Maximum Utility Problems	547
	A Meta Constraint Logic Programming Architecture	549
	N-Ary Consistencies and Constraint-Based Backtracking	551
	Global Behaviour for Complex Constraints	553
	To Guess or to Think? Hybrid Algorithms for SAT	555
	A Local Simplification Scheme for cc Programs	557
	From Evaluating Upper Bounds of the Complexity of Solving CSPs to Finding All the Solutions of CSPs	559
	Modeling and Solving Distributed Constraint Satisfaction Problems (DCSPs)	561
	Scheduling an Asynchronously Shared Resource	563
	The Generalized Railroad Crossing: Its Symbolic Analysis in CLP(R)	565
	A Stochastic Approach to Solving Fuzzy Constraint Satisfaction Problems	568
	Branch-and-Price for Solving Integer Programs with a Huge Number of Variables: Methods and Applications	570
	Constraint Databases	571
	Complexity-Theoretic Aspects of Programming Language Design	572
	Author Index	573