Principles and Practice of Constraint Programming - CP 2009: 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings

Front Matter....Pages -
Constraint-Based Schedulers, Do They Really Work?....Pages 1-1
Challenges for Constraint Reasoning and Optimization in Computational Sustainability....Pages 2-4
Observations on Symmetry Breaking....Pages 5-5
Generating Optimal Stowage Plans for Container Vessel Bays....Pages 6-20
Real-Time Tabu Search for Video Tracking Association....Pages 21-34
Pin Assignment Using Stochastic Local Search Constraint Programming....Pages 35-49
Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics....Pages 50-64
Scheduling the CB1000 Nanoproteomic Analysis System with Python, Tailor, and Minion....Pages 65-72
Solving Nurse Rostering Problems Using Soft Global Constraints....Pages 73-87
Online Selection of Quorum Systems for RAMBO Reconfiguration....Pages 88-103
A Hybrid Constraint Model for the Routing and Wavelength Assignment Problem....Pages 104-118
Memoisation for Constraint-Based Local Search....Pages 119-126
On the Structure of Industrial SAT Instances....Pages 127-141
A Gender-Based Genetic Algorithm for the Automatic Configuration of Algorithms....Pages 142-157
Filtering Numerical CSPs Using Well-Constrained Subsystems....Pages 158-172
Minimising Decision Tree Size as Combinatorial Optimisation....Pages 173-187
Hull Consistency under Monotonicity....Pages 188-195
A Constraint on the Number of Distinct Vectors with Application to Localization....Pages 196-210
Approximating Weighted Max-SAT Problems by Compensating for Relaxations....Pages 211-225
Confidence-Based Work Stealing in Parallel Constraint Programming....Pages 226-241
Minimizing the Maximum Number of Open Stacks by Customer Search....Pages 242-257
Using Relaxations in Maximum Density Still Life....Pages 258-273
Constraint-Based Graph Matching....Pages 274-288
Constraint Representations and Structural Tractability....Pages 289-303
Asynchronous Inter-Level Forward-Checking for DisCSPs....Pages 304-318
From Model-Checking to Temporal Logic Constraint Solving....Pages 319-334
Exploiting Problem Structure for Solution Counting....Pages 335-343
Solving a Location-Allocation Problem with Logic-Based Benders’ Decomposition....Pages 344-351
Lazy Clause Generation Reengineered....Pages 352-366
The Proper Treatment of Undefinedness in Constraint Languages....Pages 367-382
Search Spaces for Min-Perturbation Repair....Pages 383-390
Snake Lex: An Alternative to Double Lex....Pages 391-399
Closing the Open Shop: Contradicting Conventional Wisdom....Pages 400-408
Reasoning about Optimal Collections of Solutions....Pages 409-423
Constraints of Difference and Equality: A Complete Taxonomic Characterisation....Pages 424-438
Synthesizing Filtering Algorithms for Global Chance-Constraints....Pages 439-453
An Interpolation Method for CLP Traversal....Pages 454-469
Same-Relation Constraints....Pages 470-485
Dialectic Search....Pages 486-500
Restricted Global Grammar Constraints....Pages 501-508
Conflict Resolution....Pages 509-523
Propagator Groups....Pages 524-538
Efficient Generic Search Heuristics within the EMBP Framework....Pages 539-553
Failed Value Consistencies for Constraint Satisfaction....Pages 554-568
A Precedence Constraint Posting Approach for the RCPSP with Time Lags and Variable Durations....Pages 569-583
SOGgy Constraints: Soft Open Global Constraints....Pages 584-591
Exploiting Problem Decomposition in Multi-objective Constraint Optimization....Pages 592-607
Search Space Extraction....Pages 608-622
Coalition Structure Generation Utilizing Compact Characteristic Function Representations....Pages 623-638
Compiling All Possible Conflicts of a CSP....Pages 639-653
On the Power of Clause-Learning SAT Solvers with Restarts....Pages 654-668
Slice Encoding for Constraint-Based Planning....Pages 669-683
Evolving Parameterised Policies for Stochastic Constraint Programming....Pages 684-691
Maintaining State in Propagation Solvers....Pages 692-706
Cost-Driven Interactive CSP with Constraint Relaxation....Pages 707-722
Weakly Monotonic Propagators....Pages 723-730
Constraint-Based Optimal Testing Using DNNF Graphs....Pages 731-745
Why Cumulative Decomposition Is Not as Bad as It Sounds....Pages 746-761
On Decomposing Knapsack Constraints for Length-Lex Bounds Consistency....Pages 762-770
Realtime Online Solving of Quantified CSPs....Pages 771-786
Constraint-Based Local Search for the Automatic Generation of Architectural Tests....Pages 787-801
Edge Finding Filtering Algorithm for Discrete Cumulative Resources in ${\\mathcal O}(kn {\\rm log} n)$ ....Pages 802-816
Evaluation of Length-Lex Set Variables....Pages 817-832
The Complexity of Valued Constraint Models....Pages 833-841
Back Matter....Pages -