Principles and Practice of Constraint Programming - CP 2002 Book

	Reduced Cost-Based Ranking for Generating Promising Subproblems	1
	Integrating Constraint and Integer Programming for the Orthogonal Latin Squares Problem	17
	On Optimal Correction of Inconsistent Linear Constraints	33
	Temporal Planning through Mixed Integer Programming: A Preliminary Report	47
	A New Multi-resource cumulatives Constraint with Negative Heights	63
	On the Sum Constraint: Relaxation and Applications	80
	Global Constraints for Lexicographic Orderings	93
	A Global Filtering Algorithm for Handling Systems of Quadratic Equations and Inequations	109
	Amplification of Search Performance through Randomization of Heuristics	124
	Computing the Envelope for Stepwise-Constant Resource Allocations	139
	Local Probing Applied to Scheduling	155
	A Hybrid Approach for SAT	172
	Recovering and Exploiting Structural Knowledge from CNF Formulas	185
	Towards a Symmetric Treatment of Satisfaction and Conflicts in Quantified Boolean Formula Evaluation	200
	Accelerating Random Walks	216
	Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT	233
	Learning and Solving Soft Temporal Constraints: An Experimental Study	249
	Opportunistic Specialization in Russian Doll Search	264
	Range-Based Algorithm for Max-CSP	280
	Resolution Complexity of Random Constraints	295
	Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics	310
	Determining the Number of Solutions to Binary CSP Instances	327
	Consistency Checking for Qualitative Spatial Reasoning with Cardinal Directions	341
	Open Constraint Satisfaction	356
	Beyond NP: Arc-Consistency for Quantified Constraints	371
	Secure Distributed Constraint Satisfaction: Reaching Agreement without Revealing Private Information	387
	A Dual Graph Translation of a Problem in 'Life'	402
	Groups and Constraints: Symmetry Breaking during Search	415
	Partial Symmetry Breaking	431
	Symmetry Breaking Revisited	446
	Breaking Row and Column Symmetries in Matrix Models	462
	Solving the Kirkman's Schoolgirl Problem in a Few Seconds	477
	Inferring Constraint Types in Constraint Programming	492
	Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State	508
	The Adaptive Constraint Engine	525
	Indexical-Based Solver Learning	541
	Learning the Empirical Hardness of Optimization Problems: The Case of Combinatorial Auctions	556
	Restart Policies with Dependence among Runs: A Dynamic Programming Approach	573
	Visopt ShopFloor: On the Edge of Planning and Scheduling	587
	Constraint Programming Contribution to Benders Decomposition: A Case Study	603
	Modeling Camera Control with Constrained Hypertubes	618
	Robust and Parallel Solving of a Network Design Problem	633
	Connections Reservation with Rerouting for ATM Networks: A Hybrid Approach with Constraints	649
	Communication and Computation in Distributed CSP Algorithms	664
	Continuous First-Order Constraint Satisfaction with Equality and Disequality Constraints	680
	A Relaxation of the Cumulative Constraint	686
	Improving GSAT Using 2SAT	691
	A Relational Constraint Solver for Model-Based Engineering	696
	Conflict-Based Repair Techniques for Solving Dynamic Scheduling Problems	702
	Scaling Properties of Pure Random Walk on Random 3-SAT	708
	Criticality and Parallelism in Structured SAT Instances	714
	Characterizing SAT Problems with the Row Convexity Property	720
	Interchangeability in Soft CSPs	726
	On Constraint Problems with Incomplete or Erroneous Data	732
	Heuristic Constraint Propagation	738
	An Arc-Consistency Algorithm for the Minimum Weight All Different Constraint	744
	Algebraic Properties of CSP Model Operators	750
	AC-3[subscript d] an Efficient Arc-Consistency Algorithm with a Low Space-Complexity	755
	Integrating Search Objects in Asynchronous Constraint Solving	761
	Distributed Constraint-Based Railway Simulation	762
	Symmetry Breaking in Peaceably Coexisting Armies of Queens	763
	Batch Processing with Sequence Dependent Setup Times	764
	Interactive Heuristic Search Algorithm	765
	On Constraint Problems with Incomplete or Erroneous Data	766
	Design of a New Metaheuristic for MAXSAT Problems	767
	Disjunctive and Continuous Constraint Satisfaction Problems	768
	Tuning Randomization in Backtrack Search SAT Algorithms	769
	Constraint Solving in Test-Data Generation	770
	Improving Cost Calculations for Global Constraints in Local Search	772
	A Modeling Framework for Constraints	773
	A Linear Programming Based Satisfiability Solver Using a New Horn-Driven Search Tree Design	775
	A Concurrent Constraint Programming Approach for Trajectory Determination of Autonomous Vehicles	777
	Using Constraint Propagation to Accelerate Column Generation in Aircraft Scheduling	778
	Solving and Learning Soft Temporal Constraints; Ceteris Paribus Statements Represented as Soft Constraints Problems	779
	A Partially Solved Form for Heterogeneous Constraints in Disjunctive Normal Form	780
	Models of Injection Problems	781
	Partial Symmetry Breaking	782
	Automatic Generation of Implied Clauses for SAT	783
	Bridging the Gap between SAT and CSP	784
	Reducing Symmetry in Matrix Models	786
	Studying Interchangeability in Constraint Satisfaction Problems	787
	Constraint Modeling in the Context of Academic Task Assignment	789
	Design Tradeoffs for Autonomous Trading Agents	790
	Author Index	793