The 19th International Conference on
Principles and Practice of
Constraint Programming
Uppsala, Sweden
September 16-20, 2013

Accepted papers

Technical Track

A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints. Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras and Enric Rodríguez Carbonell
To Encode or to Propagate? The Best Choice for Each Constraint in SAT. Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez Carbonell and Peter J. Stuckey
Automated Symmetry Breaking and Model Selection in Conjure. Ozgur Akgun, Alan Frisch, Ian Gent, Bilal Hussain, Christopher Jefferson, Lars Kotthoff, Ian Miguel and Peter Nightingale
Improving WPM2 for (Weighted) Partial MaxSAT. Carlos Ansótegui, Maria Luisa Bonet, Joel Gabàs and Jordi Levy
MinSAT versus MaxSAT for Optimization Problems. Josep Argelich, Chu-Min Li, Felip Manyà and Zhu Zhu
Adaptive Parameterized Consistency. Amine Balafrej, Christian Bessiere, Remi Coletta and El Houssine Bouyakhf
Global Inverse Consistency for Interactive Constraint Satisfaction. Christian Bessiere, Hélène Fargier and Christophe Lecoutre
Counting Spanning Trees to Guide Search in Constrained Spanning Tree Problems. Simon Brockbank, Gilles Pesant and Louis-Martin Rousseau
On the reduction of the CSP dichotomy conjecture to digraphs. Jakub Bulín, Dejan Delić, Marcel Jackson and Todd Niven
A Scalable Approximate Model Counter. Supratik Chakraborty, Kuldeep S. Meel and Moshe Vardi
Dominance Driven Search. Geoffrey Chu and Peter J. Stuckey
Tractable Combinations of Global Constraints. David Cohen, Peter Jeavons, Evgenij Thorstensen and Stanislav Živný
Postponing Optimization to Speed Up MAXSAT Solving. Jessica Davies and Fahiem Bacchus
Dead-End Elimination for Weighted CSP. Simon de Givry, Steven Prestwich and Barry O'Sullivan
Solving weighted CSPs by Successive Relaxations. Erin Delisle and Fahiem Bacchus
Constraint-based Program Reasoning with Heaps and Separation. Gregory Duck, Joxan Jaffar and Nicolas Koh
Filtering AtMostNValue with difference constraints: application to the Shift Minimisation Personnel Task Scheduling Problem. Jean-Guillaume Fages and Tanguy Lapègue
Model Combinators for Hybrid Optimization. Daniel Fontaine, Laurent Michel and Pascal Van Hentenryck
Modelling Destructive Assignments. Kathryn Francis, Jorge Navas and Peter J. Stuckey
An Improved Search Algorithm for Min-Perturbation. Alex Fukunaga
Explaining Propagators for Edge-valued Decision Diagrams. Graeme Gange, Peter J. Stuckey and Pascal Van Hentenryck
A Simple and Effective Decomposition for the Multidimensional Binpacking Constraint. Stefano Gualandi and Michele Lombardi
Maintaining Soft Arc Consistencies in BnB-ADOPT+ During Search. Patricia Gutierrez, Jimmy H.M. Lee, Ka Man Lei, Terrence W.K. Mak and Pedro Meseguer
Solving String Constraints: The Case for Constraint Programming. Jun He, Pierre Flener, Justin Pearson and Wei Ming Zhang
Blowing Holes in Various Aspects of Computational Problems, with Applications to Constraint Satisfaction. Peter Jonsson, Victor Lagerkvist and Gustav Nordh
Solving QBF with Free Variables. William Klieber, Mikoláš Janota, Joao Marques-Silva and Edmund Clarke
Globalizing Constraint Models. Kevin Leo, Christopher Mears, Guido Tack and Maria Garcia de La Banda
A New Propagator for Two-Layer Neural Networks in Empirical Model Learning. Michele Lombardi and Stefano Gualandi
Bandit-based Search for Constraint Programming. Manuel Loth, Michèle Sebag, Youssef Hamadi and Marc Schoenauer
Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability. Chuan Luo, Shaowei Cai, Wei Wu and Kaile Su
Multi-objective Constraint Optimization with Tradeoffs. Radu Marinescu, Razak Abdul and Nic Wilson
Parallel Discrepancy-Based Search. Thierry Moisan, Jonathan Gaudreault and Claude-Guy Quimper
Multidimensional Bin Packing Revisited. Michael D. Moffitt
A Parametric Propagator for Discretely Convex Pairs of Sum Constraints. Jean-Noël Monette, Nicolas Beldiceanu, Pierre Flener and Justin Pearson
Breaking Symmetry with Different Orderings. Nina Narodytska and Toby Walsh
Time-Table-Extended-Edge-Finding for the Cumulative Constraint. Pierre Ouellet and Claude-Guy Quimper
Revisiting the cardinality reasoning for BinPacking constraint. François Pelsser, Pierre Schaus and Jean-Charles Régin
Value Interchangeability in Scenario Generation. Steven Prestwich, Marco Laumanns and Ban Kawas
Embarrassingly parallel search. Jean-Charles Régin, Mohamed Rezgui and Arnaud Malapert
Multi-Objective Large Neighborhood Search. Pierre Schaus and Renaud Hartert
Scheduling Optional Tasks with Explanation. Andreas Schutt, Thibaut Feydy and Peter J. Stuckey
Residential Demand Response under Uncertainty. Paul Scott, Sylvie Thiébaux, Menkes van Den Briel and Pascal Van Hentenryck
Lifting structural tractability to CSP with global constraints. Evgenij Thorstensen
Empirical Study of the Behavior of Conflict Analysis in CDCL Solvers. Djamal Habet and Donia Toumi
Primal and Dual Encoding from Applications into Quantified Boolean Formulas. Allen Van Gelder
Asynchronous Forward Bounding Revisited. Mohamed Wahbi, Redouane Ezzahir and Christian Bessiere
Optimizing STR Algorithms with Tuple Compression. Wei Xia and Roland Yap

Application Track

Describing and Generating Solutions for the EDF Unit Commitment Problem with the ModelSeeker. Nicolas Beldiceanu, Georgiana Ifrim, Arnaud Lenoir and Helmut Simonis
Solving the Agricultural Land Allocation Problem by Constraint-Based Local Search. Quoc Trung Bui, Quang Dung Pham and Yves Deville
Bin Packing with Linear Usage Costs -- An Application to Energy Management in Data Centres. Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan and Helmut Simonis
Constraint-based approaches for Balancing Bike Sharing Systems. Luca Di Gaspero, Andrea Rendl and Tommaso Urli
Constraint Based Computation of Periodic Orbits of Chaotic Dynamical Systems. Alexandre Goldsztejn, Laurent Granvilliers and Christophe Jermann
Laser Cutting Path Planning using CP. Mikael Z. Lagerkvist, Martin Nordkvist and Magnus Rattfeldt
Atom Mapping with Constraint Programming. Martin Mann, Feras Nahar, Heinz Ekker, Rolf Backofen, Peter Stadler and Christoph Flamm
Beyond Feasibility: CP Usage in Constrained-Random Functional Hardware Verification. Reuven Naveh and Amit Metodi
Stochastic Local Search based Channel Assignment in Wireless Mesh Networks. Ma Hakim Newton, Duc Nghia Pham, Wee Lum Tan, Marius Portmann and Abdul Sattar
Automatic generation and delivery of multiple choice math quizzes. Ana Paula Tomás and José Paulo Leal
Constrained Wine Blending. Philippe Vismara, Remi Coletta and Gilles Trombettoni
The berth allocation and quay crane assignment problem using a CP approach. Stéphane Zampelli, Yannis Vergados, Rowan Van Schaeren, Wout Dullaert and Birger Raa