Principles and Practice of Constraint Programming – CP 2010: 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings

Front Matter....Pages -
SAT Modulo Theories: Getting the Best of SAT and Global Constraint Filtering....Pages 1-2
Constraint-Directed Search in Computational Finance and Economics....Pages 3-7
Constraints, Graphs, Algebra, Logic, and Complexity....Pages 8-8
Testing Expressibility Is Hard....Pages 9-23
Applying Constraint Programming to Identification and Assignment of Service Professionals....Pages 24-37
Computing the Density of States of Boolean Formulas....Pages 38-52
Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP....Pages 53-60
Making Adaptive an Interval Constraint Propagation Algorithm Exploiting Monotonicity....Pages 61-68
Improving the Performance of maxRPC....Pages 69-83
Checking-Up on Branch-and-Check....Pages 84-98
Spatial, Temporal, and Hybrid Decompositions for Large-Scale Vehicle Routing with Time Windows....Pages 99-113
Decomposition of the NValue Constraint....Pages 114-128
Propagating the Bin Packing Constraint Using Linear Programming....Pages 129-136
Sweeping with Continuous Domains....Pages 137-151
A New Hybrid Tractable Class of Soft Constraint Problems....Pages 152-166
A Propagator for Maximum Weight String Alignment with Arbitrary Pairwise Dependencies....Pages 167-175
Using Learnt Clauses in maxsat ....Pages 176-190
Domain Consistency with Forbidden Values....Pages 191-205
Generating Special-Purpose Stateless Propagators for Arbitrary Constraints....Pages 206-220
Including Ordinary Differential Equations Based Constraints in the Standard CP Framework....Pages 221-235
Structural Tractability of Enumerating CSP Solutions....Pages 236-251
Diversification and Intensification in Parallel SAT Solving....Pages 252-265
A Systematic Approach to MDD-Based Constraint Programming....Pages 266-280
A Complete Multi-valued SAT Solver....Pages 281-296
Exact Cover via Satisfiability: An Empirical Study....Pages 297-304
On the Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry....Pages 305-320
Ensemble Classification for Constraint Solver Configuration....Pages 321-329
On Testing Constraint Programs....Pages 330-344
On the Containment of Forbidden Patterns Problems....Pages 345-359
Improving the Floating Point Addition and Subtraction Constraints....Pages 360-367
The Lattice Structure of Sets of Surjective Hyper-Operations....Pages 368-382
Constraint Based Scheduling to Deal with Uncertain Durations and Self-Timed Execution....Pages 383-397
Local Consistency and SAT-Solvers....Pages 398-413
Heuristics for Planning with SAT....Pages 414-428
Value-Ordering Heuristics: Search Performance vs. Solution Diversity....Pages 429-444
A New ${\mathcal O}(n^2\log n)$ Not-First/Not-Last Pruning Algorithm for Cumulative Resource Constraints....Pages 445-459
A Generic Visualization Platform for CP....Pages 460-474
Database Constraints and Homomorphism Dualities....Pages 475-490
A Box-Consistency Contractor Based on Extremal Functions....Pages 491-498
Exponential Propagation for Set Variables....Pages 499-513
An Empirical Study of Optimization for Maximizing Diffusion in Networks....Pages 514-521
An Integrated Modelling, Debugging, and Visualisation Environment for G12....Pages 522-536
Global Constraints on Feature Models....Pages 537-551
Constraint Programming for Mining n-ary Patterns....Pages 552-567
An Integrated Business Rules and Constraints Approach to Data Centre Capacity Management....Pages 568-582
Context-Sensitive Call Control Using Constraints and Rules....Pages 583-597
Load Balancing and Almost Symmetries for RAMBO Quorum Hosting....Pages 598-612
Testing Continuous Double Auctions with a Constraint-Based Oracle....Pages 613-627
A Safe and Flexible CP-Based Approach for Velocity Tuning Problems....Pages 628-642
Contingency Plans for Air Traffic Management....Pages 643-657
Back Matter....Pages -