CP 2016 Accepted Papers
The proceedings of the conference will be edited in
the LNCS series
by 
.
The PPSZ Algorithm for Constraint Satisfaction
Problems on More Than Two Colors.
Constraint Programming for Strictly Convex
Integer Quadratically-Constrained Problems.
Constraint Programming for Planning Test
Campaigns of Telecommunication Satellites.
An adaptive parallel SAT solver.
Broken Triangles, Yet Again.
Morphing between Stable Matching
Problems.
"Almost-stable" matchings in the Hospitals /
Residents problem with Couples.
Guaranteed Weighted Counting for Affinity
Computation: beyond Determinism and Structure.
The Power of Propagation: When GAC is
Enough.
A New Approach to Checking the Dynamic
Consistency of Conditional Simple Temporal Networks.
Using Constraint Programming for the Urban
Transit Crew Rescheduling Problem.
Constraint Programming Models for Chosen Key
Differential Cryptanalysis.
Clique and Constraint Models for Maximum
Common (Connected) Subgraph Problems.
Towards a Dynamic Decomposition of CSPs with
Separators of Bounded Size.
Constraint Propagation via
Kernelization.
Parallel Strategies Selection.
Finding Alternative Musical Scales.
Online HVAC-Aware Occupancy Scheduling with
Adaptive Temperature Control.
A Dynamic Programming-based MCMC Framework for
Solving DCOPs with GPUs.
The Dichotomy for Conservative Constraint
Satisfaction is Polynomially Decidable.
Using Graph-Based CSP to Solve the Address
Translation Problem.
Improving protein docking with redundancy
constraints.
Behavior Identification in Two-stage Games for
Incentivizing Citizen Science Exploration.
Finding Unsatisfiable Cores of a Set of
Polynomials using the Groebner Basis Algorithm
Improved Linearization of Constraint
Programming Models.
Systematic Derivation of Bounds and Glue
Constraints for Time-Series Constraints.
Constraint programming formulation of the
problem of generating Milton Babbitt's all-partition
arrays.
Impact of SAT-Based Preprocessing on
Core-Guided MaxSAT Solving.
Compact-Table: efficiently filtering table
constraints with reversible sparse bit-sets.
Learning from Learning Solvers.
Efficient Filtering for the Unary Resource
with Family-based Transition Times.
The Multirate Resource Constraint.
Service Availability Optimization in
Cloud-Based In-Memory Data Grids.
Optimal Performance Tuning in Real-Time
Systems using Multi-Objective Constrained Optimization.
Breaking Symmetries in Graphs: The Nauty
Way.
Solving a Supply-Delivery Scheduling Problem
with Constraint Programming.
Learning parameters for the Sequence
constraint from positive examples.
A global constraint for closed itemset
mining.
Backdoors to Tractable Valued CSP.
SABIO: An Implementation of MIP and CP for
Interactive Soccer Queries.
Enforcing Structure on Temporal Sequences: the
Allen Constraint.
Assisted Lead Sheet Composition using
FlowComposer.
Monte-Carlo Tree Search for the Maximum
Satisfiability Problem.
Multiobjective Optimization by Decision
Diagrams.
A Constraint Programming Approach to
Multi-Robot Task Allocation and Scheduling in Retirement
Homes.
Dependency Schemes in QBF Calculi: Semantics
and Soundness.
On Incremental Core-Guided MaxSAT
Solving.
Graphical models for optimal power flow.
Exploiting Short Supports for Improved
Encoding of Arbitrary Constraints into SAT.
Tightening McCormick Relaxations for Nonlinear
Programs via Dynamic Multivariate Partitioning.
Modelling and Solving Multi-Mode
Resource-Constrained Project Scheduling.
Explaining Producer/Consumer
Constraints.
Interval Constraint with Learning :
Application to Air Traffic Control.
On Finding Minimum Satisfying
Assignments.
Four-Bar Linkage Synthesis Using Non-Convex
Optimization.
