Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings

Front Matter....Pages I-XXVIII
Front Matter....Pages 1-1
Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT....Pages 3-12
Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints....Pages 13-29
An Adaptive Parallel SAT Solver....Pages 30-48
Improved Linearization of Constraint Programming Models....Pages 49-65
Impact of SAT-Based Preprocessing on Core-Guided MaxSAT Solving....Pages 66-85
Multiobjective Optimization by Decision Diagrams....Pages 86-95
Dependency Schemes in QBF Calculi: Semantics and Soundness....Pages 96-112
The Multirate Resource Constraint....Pages 113-129
The Dichotomy for Conservative Constraint Satisfaction is Polynomially Decidable....Pages 130-146
Propagation via Kernelization: The Vertex Cover Constraint....Pages 147-156
Breaking Symmetries in Graphs: The Nauty Way....Pages 157-172
Extending Broken Triangles and Enhanced Value-Merging....Pages 173-188
A Bounded Path Propagator on Directed Graphs....Pages 189-206
Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets....Pages 207-223
Interval Constraints with Learning: Application to Air Traffic Control....Pages 224-232
Backdoors to Tractable Valued CSP....Pages 233-250
Monte-Carlo Tree Search for the Maximum Satisfiability Problem....Pages 251-267
A New Approach to Checking the Dynamic Consistency of Conditional Simple Temporal Networks....Pages 268-286
On Finding Minimum Satisfying Assignments....Pages 287-297
Towards a Dynamic Decomposition of CSPs with Separators of Bounded Size....Pages 298-315
Front Matter....Pages 1-1
Constraint Programming for Strictly Convex Integer Quadratically-Constrained Problems ....Pages 316-332
A Global Constraint for Closed Frequent Pattern Mining....Pages 333-349
Clique and Constraint Models for Maximum Common (Connected) Subgraph Problems....Pages 350-368
Tightening McCormick Relaxations for Nonlinear Programs via Dynamic Multivariate Partitioning....Pages 369-387
Parallel Strategies Selection....Pages 388-404
Learning Parameters for the Sequence Constraint from Solutions....Pages 405-420
The PPSZ Algorithm for Constraint Satisfaction Problems on More Than Two Colors....Pages 421-437
Explaining Producer/Consumer Constraints....Pages 438-454
Learning from Learning Solvers....Pages 455-472
On Incremental Core-Guided MaxSAT Solving....Pages 473-482
Modelling and Solving Multi-mode Resource-Constrained Project Scheduling....Pages 483-492
Efficient Filtering for the Unary Resource with Family-Based Transition Times....Pages 493-519
Front Matter....Pages 520-535
A Constraint Programming Approach to Multi-Robot Task Allocation and Scheduling in Retirement Homes....Pages 537-537
Optimal Performance Tuning in Real-Time Systems Using Multi-objective Constrained Optimization....Pages 539-555
SABIO: An Implementation of MIP and CP for Interactive Soccer Queries....Pages 556-574
Constraint Programming Models for Chosen Key Differential Cryptanalysis....Pages 575-583
Solving a Supply-Delivery Scheduling Problem with Constraint Programming....Pages 584-601
Four-Bar Linkage Synthesis Using Non-convex Optimization....Pages 602-617
Using Constraint Programming for the Urban Transit Crew Rescheduling Problem....Pages 618-635
Front Matter....Pages 636-649
Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search....Pages 537-537
Availability Optimization in Cloud-Based In-Memory Data Grids....Pages 650-665
Front Matter....Pages 666-679
Online HVAC-Aware Occupancy Scheduling with Adaptive Temperature Control....Pages 681-681
Behavior Identification in Two-Stage Games for Incentivizing Citizen Science Exploration....Pages 683-700
Front Matter....Pages 701-717
Constraining Redundancy to Improve Protein Docking....Pages 719-719
Guaranteed Weighted Counting for Affinity Computation: Beyond Determinism and Structure....Pages 721-732
Front Matter....Pages 733-750
Finding Alternative Musical Scales....Pages 751-751
Assisted Lead Sheet Composition Using FlowComposer....Pages 753-768
Enforcing Structure on Temporal Sequences: The Allen Constraint....Pages 769-785
Constraint Programming Approach to the Problem of Generating Milton Babbitt’s All-Partition Arrays....Pages 786-801
Front Matter....Pages 802-810
A Dynamic Programming-Based MCMC Framework for Solving DCOPs with GPUs....Pages 811-811
Morphing Between Stable Matching Problems....Pages 813-831
Front Matter....Pages 832-840
Using Graph-Based CSP to Solve the Address Translation Problem....Pages 841-841
Finding Unsatisfiable Cores of a Set of Polynomials Using the Gröbner Basis Algorithm....Pages 843-858
Back Matter....Pages 859-875
....Pages 877-899