The 20th International Conference on
Principles and Practice of
Constraint Programming
Lyon, France
8-12 September 2014

Accepted Papers

Application Track


Proactive Workload Dispatching on the EURORA Supercomputer

Andrea Bartolini, Andrea Borghesi, Thomas Bridi, Michele Lombardi and Michela Milano

Scheduling B2B meetings

Miquel Bofill, Joan Espasa, Marc Garcia, Miquel Palahí, Josep Suy and Mateu Villaret

Solving a Judges Assignment Problem Using Conjunction of Global Cost Functions

Simon De Givry, Jimmy Lee, Ka Lun Leung and Yu Wai Shum

Worst-case Scheduling of Software Tasks: A Constraint Optimization Model to Support Performance Testing

Stefano Di Alesio, Arnaud Gotlieb, Shiva Nejati and Lionel Briand

Continuous Casting Scheduling with Constraint Programming

Steven Gay, Pierre Schaus and Vivian De Smedt

Case Study: Constraint Programming in a System Level Synthesis Framework

Shuo Li and Ahmed Hemani

Using CP in automatic test generation for ABB Robotics' Paint Control System

Morten Mossige, Arnaud Gotlieb and Hein Meling

Scheduling agents using forecast call arrivals at Hydro-Québec’s call centers

Marie Pelleau, Louis-Martin Rousseau, Pierre L’ecuyer, Walid Zegal and Louis Delorme

Deployment of Mobile Wireless Sensor Networks for Crisis Management: a Constraint-Based Local Search Approach

Cédric Pralet and Charles Lesire

Air Traffic Controller Shift Scheduling by Reduction to CSP, SAT and SAT-related Problems

Mirko Stojadinovic



Technical Track


Efficient Application of Max-SAT Resolution on Inconsistent Subsets

André Abramé and Djamal Habet

Encoding Linear Constraints into SAT

Ignasi Abío and Peter J. Stuckey

Sequential Time Splitting and Bounds Communication for a Portfolio of Optimization Solvers

Roberto Amadini and Peter J. Stuckey

Scoring-based Dominance Reasoning for the Subgraph Isomorphism Problem

Gilles Audemard, Christophe Lecoutre, Mouny Samy Modeliar, Daniel Porumbel and Gilles Goncalves

Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators

Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Maria Andreina Francisco Rodriguez and Justin Pearson

The Propagation Depth of Local Consistency

Christoph Berkholz

The Balance Constraint Family

Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Emilie Picard-Cantin, Claude-Guy Quimper and Toby Walsh

Experimental comparison of BTD and intelligent backtracking: Towards an automatic per-instance algorithm selector

Loïc Blet, Samba Ndojh Ndiaye and Christine Solnon

Solving Intensional Weighted CSPs by incremental optimization with BDDs

Miquel Bofill, Miquel Palahí, Josep Suy and Mateu Villaret

On Backdoors To Tractable Constraint Languages

Clément Carbonnel, Martin C. Cooper and Emmanuel Hebrard

Nested Constraint Programs

Geoffrey Chu and Peter J. Stuckey

Beyond Consistency and Substitutability

Martin Cooper

On Broken Triangles

Martin Cooper, Achref El Mouelhi, Cyril Terrioux and Bruno Zanuttini

Subexponential Time Complexity of CSP with Global Constraints

Ronald De Haan, Iyad Kanj and Stefan Szeider

A New Characterization of Relevant Intervals for Energetic Reasoning

Alban Derrien and Thierry Petit

A Declarative Paradigm for Robust Cumulative Scheduling

Alban Derrien, Thierry Petit and Stéphane Zampelli

Improving DPOP with Branch Consistency in Distributed Constraint Optimization Problems

Ferdinando Fioretto, Tiep Le, William Yeoh, Son Tran and Enrico Pontelli

Constraint-Based Lagrangian Relaxation

Daniel Fontaine, Laurent Michel and Pascal Van Hentenryck

Loop Untangling

Kathryn Francis and Peter J. Stuckey

Discriminating Instance Generation for Automated Constraint  Model Selection

Ian P. Gent, Bilal Syed Hussain, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Glenna F. Nightingale and Peter Nightingale

The StockingCost constraint

Vinasétan Ratheil Houndji, Pierre Schaus, Laurence Wolsey and Yves Deville

Scalable Parallel Numerical CSP Solver

Daisuke Ishii, Kazuki Yoshizoe and Toyotaro Suzumura

Tree-Decompositions with Connected Clusters for Solving Constraint Networks

Philippe Jegou and Cyril Terrioux

CIP and MIQP Models for the Load Balancing Nurse-to-Patient Assignment Problem

Wen-Yang Ku, Chris Beck and Thiago Pinheiro

On the Erdos Discrepancy Problem

Ronan Le Bras, Carla Gomes and Bart Selman

Towards Practical Infinite Stream Constraint Programming: Applications and Implementation

Jasper Lee and Jimmy Lee

An Increasing-Nogoods Global Constraint for Symmetry Breaking During Search

Jimmy Lee and Zichen Zhu

Memory-Efficient Tree Size Prediction for Depth-First Search in Graphical Models

Levi Lelis, Lars Otten and Rina Dechter

Higher-Order Consistencies Through GAC on Factor Variables

Chavalit Likitvivatanavong, Wei Xia and Roland Yap

Incremental QBF Solving

Florian Lonsing and Uwe Egly

Incremental Cardinality Constraints for MaxSAT

Ruben Martins, Saurabh Joshi, Vasco Manquinho and Ines Lynce

Reducing the Branching in a Branch and Bound Algorithm for the Maximum Clique Problem

Ciaran McCreesh and Patrick Prosser

Core-Guided MaxSAT with Soft Cardinality Constraints

Antonio Morgado, Carmine Dodaro and Joao Marques-Silva

A Complete Solver for Constraint Games

Thi-Van-Anh Nguyen and Arnaud Lallouet

The IntSat method for Integer Linear Programming

Robert Nieuwenhuis

Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination

Peter Nightingale, Ozgur Akgun, Ian Gent, Christopher Jefferson and Ian Miguel

On Compiling CNF into Decision-DNNF

Umut Oztok and Adnan Darwiche

Improving GAC-4 for Table and  MDD based constraints

Guillaume Perez and Jean-Charles Regin

Improvement of the Embarrassingly Parallel Search for data center

Jean-Charles Regin, Mohamed Rezgui and Arnaud Malapert

Stochastic MiniZinc

Andrea Rendl, Guido Tack and Peter J. Stuckey

Decomposing Utility Functions in Bounded Max-Sum for Distributed Constraint Optimization

Emma Rollon and Javier Larrosa

Aggregating CP-nets with unfeasible outcomes

Francesca Rossi, Nicolas Maudet, Umberto Grandi and Hang Luo

Insights into Parallelism with Intensive Knowledge Sharing

Ashish Sabharwal and Horst Samulowitz

The non-overlapping constraint between objects described by non-linear inequalities

Ignacio Salas, Gilles Chabert and Alexandre Goldsztejn

Improving Relational Consistency Algorithms Using Dynamic Relation Partitioning

Anthony Schneider, Robert Woodward, Berthe Choueiry and Christian Bessiere

Domain Views for Constraint Programming

Pascal Van Hentenryck and Laurent Michel

Global Constraints in Distributed CSP: Concurrent GAC and Explanations in ABT

Mohamed Wahbi and Kenneth N. Brown

The impact of wireless networks on distributed constraint satisfaction

Mohamed Wahbi and Kenneth N. Brown

Adaptive Parameterized Consistency for Non-Binary CSPs by Counting Supports

Robert Woodward, Anthony Schneider, Berthe Y Choueiry and Christian Bessiere



Journal Presentation Track


Optimization Bounds from Binary Decision Diagrams

David Bergman, Andre Cire, Willem-Jan van Hoeve and John Hooker

Robust weighted MaxSAT

Miquel Bofill, Dídac Busquets and Mateu Villaret

Probabilistic Constraints for Nonlinear Inverse Problems

Elsa Carvalho, Jorge Cruz and Pedro Barahona

Multivalued Decision Diagrams for Sequencing Problems

Andre Cire and Willem-Jan Van Hoeve

Robustness and Stability in Constraint Programming under Dynamism and Uncertainty

Laura Climent, Richard Wallace, Miguel A. Salido and Federico Barber

Monotone Temporal Planning: Tractability, Extensions and  Applications

Martin Cooper, Frederic Maris and Pierre Regnier

Anytime AND/OR Depth-first Search for Combinatorial Optimization

Lars Otten and Rina Dechter

View-based Propagator Derivation

Christian Schulte and Guido Tack