Principles and Practice of Constraint Programming - CP98 Book

	Open Constraint Programming	1
	Constructing Constraints	2
	The Dynamics of Dynamic Variable Ordering Heuristics	17
	On Completion of Constraint Handling Rules	25
	Error-Correcting Source Code	40
	Optimized Q-pivot for Exact Linear Solvers	55
	Constraint Techniques for Solving the Protein Structure Prediction Problem	72
	Global Constraints for Partials CSPs: A Case-Study of Resource and Due Date Constraints	87
	Using Graph Decomposition for Solving Continuous CSPs	102
	Anytime Lower Bounds for Constraint Violation Minimization Problems	117
	Introducing External Functions in Constraint Query Languages	132
	A Note on Partial Consistencies over Continuous Domains	147
	Consistency Techniques in Ordinary Differential Equations	162
	Early Projection in CLP(R)	177
	Suggestion Strategies for Constraint-Based Matchmaker Agents	192
	Compiling Semiring-Based Constraints with clp(FD,S)	205
	Combining Topological and Qualitative Size Constraints for Spatial Reasoning	220
	Constraint Representation for Propagation	235
	A Unified Framework for Interval Constraints and Interval Arithmetic	250
	Constraint-Based Problem Decomposition for a Key Configuration Problem	265
	Fuzzifying the Constraint Hierarchies Framework	280
	Constraints for Object Recognition in Aerial Images - Handling of Unobserved Features	295
	SALSA: A Language for Search Algorithms	310
	Random Constraint Satisfaction: Theory Meets Practice	325
	A Tableau Based Constraint Solving Toolkit for Interactive Graphical Applications	340
	Safe Datalog Queries with Linear Constraints	355
	Non-systematic Search and Learning: An Empirical Study	370
	A Generic Model and Hybrid Algorithm for Hoist Scheduling Problems	385
	Linear Concurrent Constraint Programming Over Reals	400
	Using Constraint Programming and Local Search Methods to Solve Vehicle Routing Problems	417
	A Polynomial Time Local Propagation Algorithm for General Dataflow Constraint Problems	432
	Stable Solutions for Dynamic Constraint Satisfaction Problems	447
	Generation of Test Patterns for Differential Diagnosis of Digital Circuits	462
	Combine & Conquer: Genetic Algorithm and CP for Optimization	463
	Some Experiments on Learning Soft Constraints	464
	Scheduling Multi-capacitated Resources under Complex Temporal Constraints	465
	Implementing Global Constraints with Index-Sets and Constraint Templates	466
	Generating Feasible Schedules for a Pick-up and Delivery Problem	467
	An Impartial Efficiency Comparison of FD Constraint Systems	468
	Optimizing with constraints: A Case Study in Scheduling Maintenance of Electric Power Units	469
	Some Surprising Regularities in the Behavior of Stochastic Local Search	470
	Modelling CSP Solution Algorithms with Petri Decision Nets	471
	A Framework for Assertion-Based Debugging in CLP	472
	Parallel Execution Models for Constraint Propagation	473
	Using Blocks for Constraint Satisfaction	474
	Adaptive Solving of Equations over Rational Trees	475
	Optimal Placement of Base Stations in Wireless Indoor Telecommunications	476
	Author Index	481