Principles and Practice of Constraint Programming - CP'99 Book

	The Rough Guide to Constraint Propagation	1
	Non-binary Constraints	24
	The Theory of Discrete Lagrange Multipliers for Nonlinear Discrete Optimization	28
	Operational Equivalence of CHR Programs and Constraints	43
	Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains	58
	Excluding Symmetries in Constraint Based Search	73
	On Forward Checking for Non-binary Constraint Satisfaction	88
	Enforcing Arc Consistency on Global Constraints by Solving subCSPs on the Fly	103
	Exploiting Bipartiteness to Identify Yet Another Tractable Subclass of CSP	118
	Towards a Complete Classification of Tractability in Point Algebras for Nonlinear Time	129
	A Meta-Heuristic Factory for Vehicle Routing Problems	144
	Closure Functions and Width 1 Problems	159
	An Overview of HAL	174
	Cost-Based Domain Filtering	189
	Resource Allocation in Networks Using Abstraction and Constraint Satisfaction Techniques	204
	Optimal Distributed Arc-Consistency	219
	The Goldilocks Problem	234
	Multistep Filtering Operators for Ordinary Differential Equations	246
	A Framework for Constraint Programming Based Column Generation	261
	Improving a Heuristic Repair Method for Large-Scale School Timetabling Problems	275
	Applying Constraint Programming to Protein Structure Determination	289
	Partition-Based Lower Bound for Max-CSP	303
	Constraint Diagram Reasoning	316
	Automatic Generation of Music Programs	331
	Search Procedures and Parallelism in Constraint Programming	346
	Ensuring a Relevant Visiting Order of the Leaf Nodes during a Tree Search	361
	Tight Cooperation and Its Application in Piecewise Linear Optimization	375
	Arc Consistency for Global Cardinality Constraints with Costs	390
	The Brelaz Heuristic and Optimal Static Orderings	405
	A Fixpoint Definition of Dynamic Constraint Satisfaction	419
	Solving Satisfiability Problems on FPGAs Using Experimental Unit Propagation	434
	On the Behavior and Application of Constraint Weighting	446
	Simulated Annealing with Asymptotic Convergence for Nonlinear Constrained Global Optimization	461
	On SAT01 Problem	476
	An Interval Constraint Approach to Handle Parametric Ordinary Differential Equations for Decision Support	478
	CSPLib: A Benchmark Library for Constraints	480
	Validated Constraint Compilation	482
	Automated Theorem Proving with Disjunctive Constraints	484
	Rewriting Numeric Constraint Satisfaction Problems for Consistency Algorithms	486
	Intelligent Domain Splitting for CSPs with Ordered Domains	488
	Frequency Assignment for Cellular Mobile Systems Using Constraint Satisfaction Techniques	490
	Author Index	493