The 16th annual International Conference on the Principles and Practice of Constraint Programming (CP 2010) was held in St. Andrews, Scotland, during September 6–10, 2010. We would like to thank our sponsors for their generous support of this event. This conference is concerned with all aspects of computing with constraints, including:theory,algorithms,applications,environments,languages,modelsand systems. We received a wide variety of submissions, each of which was reviewed by at least three referees. Referees were chosen for each submission by an initial bidding process where Program Committee members chose papers from their area of interest. The range of expertise represented by the large Program C- mittee meant that almost all submissions were reviewed by subject experts on the Program Committee, or by colleagues chosen by members of the Program Committee for their particular expertise. Papers weresolicitedeither as long (15 page), or short (8 page) submissions. Short-paper submissions were refereed to exactly the same high standards as long-paper submissions but naturally were expected to contain a smaller quantity of new material. Thus there is no disti- tion in these proceedings between short and long papers. I used the excellent EasyChair conference management system to support this process of reviewing, and for the collation and organization of these proceedings. Submissions were made either to the applications track or to the research track. Therewere101(23short)researchtracksubmissionsofwhich36(8short) wereaccepted,whichisa36%(35%ofshort)acceptancerate. Applicationstrack submissions received special consideration and the acceptance rate was sign- cantly higher than for the research track.
Author(s): Robert Nieuwenhuis (auth.), David Cohen (eds.)
Series: Lecture Notes in Computer Science 6308 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2010
Language: English
Pages: 650
Tags: Algorithm Analysis and Problem Complexity; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Artificial Intelligence (incl. Robotics); Programming Languages, Compilers, Interpreters; Computation by Abstract Device
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 -
