Principles and Practice of Constraint Programming - CP 2000 Book

	Constraint-Based Agents: The ABC's of CBA's	1
	Constraints for Interactive Graphical Applications	11
	Meta-complexity Theorems: Talk Abstract	13
	Automatic Generation of Propagation Rules for Finite Domains	18
	Extending Forward Checking	35
	Global Constraints as Graph Properties on a Structured Network of Elementary Constraints of the Same Type	52
	Universally Quantified Interval Constraints	67
	Constraint Propagation for Soft Constraints: Generalization and Termination Conditions	83
	Constraints, Inference Channels and Secure Databases	98
	Refinements and Independence: A Simple Method for Identifying Tractable Disjunctive Constraints	114
	A Language for Audiovisual Template Specification and Recognition	128
	Random 3-SAT: The Plot Thickens	143
	New Tractable Classes from Old	160
	Expressiveness of Full First Order Constraints in the Algebra of Finite or Infinite Trees	172
	Cutting Planes in Constraint Programming: An Hybrid Approach	187
	A Constraint-Based Framework for Prototyping Distributed Virtual Applications	202
	A Scalable Linear Constraint Solver for User Interface Construction	218
	A Constraint Programming Approach for Solving Rigid Geometric Systems	233
	Maintaining Arc-Consistency within Dynamic Backtracking	249
	New Search Heuristics for Max-CSP	262
	Analysis of Random Noise and Random Walk Algorithms for Satisfiability Testing	278
	Boosting Search with Variable Elimination	291
	Faster Algorithms for Bound-Consistency of the Sortedness and the Alldifferent Constraint	306
	Practical Investigation of Constraints with Graph Views	320
	A Hybrid Search Architecture Applied to Hard Random 3-SAT and Low-Autocorrelation Binary Sequences	337
	Singleton Consistencies	353
	Linear Formulation of Constraint Programming Models and Hybrid Solvers	369
	A Global Constraint Combining a Sum Constraint and Difference Constraints	384
	Efficient Querying of Periodic Spatiotemporal Objects	396
	Arc Consistency for Soft Constraints	411
	Optimal Anytime Constrained Simulated Annealing for Constrained Global Optimization	425
	SAT v CSP	441
	Instruction Scheduling with Timing Constraints on a Single RISC Processor with 0/1 Latencies	457
	Arc Consistency on n-ary Monotonic and Linear Constraints	470
	Some Observations on Durations, Scheduling and Allen's Algebra	484
	Using Randomization and Learning to Solve Hard Real-World Instances of Satisfiability	489
	Finding Minimal Unsatisfiable Subformulae in Satisfiability Instances	495
	Branching Constraint Satisfaction Problems for Solutions Robust under Likely Changes	500
	Constraint Propagation: Between Abstract Models and ad hoc Strategies	505
	How to Model and Verify Concurrent Algorithms for Distributed CSPs	510
	The Phase Transition in Distributed Constraint Satisfaction Problems: First Results	515
	Cooperating Constraint Solvers	520
	An Empirical Study of Probabilistic Arc Consistency as a Variable Ordering Heuristic	525
	On Dual Encodings for Non-binary Constraint Satisfaction Problems	531
	Algebraic Simplication Techniques for Propositional Satisfiability	537
	An Original Constraint Based Approach for Solving over Constrained Problems	543
	An Efficient Approximate Algorithm for Winner Determination in Combinatorial Auctions	549
	Author Index	555