Accepted Papers

Conference Proceedings:

The Conference Proceedings are published on LNCS 6140 by Springer; they can be accessed from the Springer Website.

Accepted Long Papers:


  • Shiva Kasiviswanathan and Feng Pan. Matrix Interdiction Problem
  • Stefano Gualandi, Federico Malucelli and Domenico Sozzi. On the Design of the Next Generation Access Networks
  • Alessandro Zanarini and Gilles Pesant. More Robust Counting-Based Search Heuristics with Alldifferent Constraints
  • Pascal Van Hentenryck, Russell Bent and Carleton Coffrin. Strategic Planing for Disaster Recovery with Stochastic Last Mile Distribution
  • Geoffrey Chu, Peter J. Stuckey and Maria G. de la Banda. Automatically Exploiting Subproblem Equivalence in Constraint Programming
  • Justin Yip, Pascal Van Hentenryck and Carmen Gervet. Boosting Set Constraint Propagation for Network Design
  • Anna Moss. Constraint Programming with Arbitrarily Large Integer Variables
  • Matteo Fischetti and Domenico Salvagnin. A Relax-and-Cut Framework for Gomory Mixed-Integer Cuts
  • Aya Saad, Carmen Gervet and Slim Abdennadher. Constraint Reasoning with Uncertain Data using CDF-Intervals
  • Frank Hutter, Holger Hoos and Kevin Leyton-Brown. Automated Optimization of Mixed Integer Programming Solvers
  • Hadrien Cambazard, Eoin O'Mahony and Barry O'Sullivan. Hybrid Methods for the Multileaf Collimator Sequencing Problem
  • Quang Dung Pham, Yves Deville and Pascal Van Hentenryck. Constraint-Based Local Search for Constrained Optimum Paths Problems
  • Siddhartha Jain, Serdar Kadioglu and Meinolf Sellmann. Upper Bounds on the Number of Solutions of Binary Integer Programs
  • Nicolas Beldiceanu, Mats Carlsson, Pierre Flener and Justin Pearson. On Matrices, Automata and Double Counting
  • Nicolas Beldiceanu, Fabien Hermenier, Xavier Lorca and Thierry Petit. The Increasing_NValue Constraint
  • Madjid Khichane, patrick Albert and Christine Solnon. Strong Combination of Ant Colony Optimization with Constraint Programming Optimization
  • Diarmuid Grimes and Emmanuel Hebrard. Job shop scheduling with setup times and maxmimal time-lags: A simple constraint programming approach
  • Bistra Dilkina and Carla Gomes. Solving Connected Subgraph Problems in Wildlife Conservation


Accepted Short Papers:


  • Thierry Benoist. Characterization and Automation  of Matching Based Neighborhoods
  • Stéphane Grandcolas and Cédric Pinto. A SAT encoding for Multi-dimensional Packing Problems
  • Jean-Charles Regin, Louis-Martin Rousseau, Michel Rueher and Willem-Jan Van Hoeve. The Weighted Spanning Tree Constraint Revisited
  • Canan Gunes, Willem-Jan van Hoeve and Sridhar Tayur. Vehicle Routing for Food Rescue Programs: A comparison of different approaches
  • Pierre Schaus, Pascal Van Hentenryck and Alessandro Zanarini. Revisiting the soft global cardinality constraint
  • Kanika Dhyani, Stefano Gualandi and Paolo Cremonesi. A Constraint Programming Approach for the Service Consolidation Problem
  • Matteo Fischetti and Domenico Salvagnin. An in-out approach to disjunctive  optimization
  • Elvin Coban and John Hooker. Single-Facility Scheduling over Long Time Horizons by Logic-based Benders Decomposition
  • Timo Berthold, Thibaut Feydy and Peter J. Stuckey. Rapid Learning for Binary Programs
  • Zeynep Kiziltan and Jacopo Mauro. Service-Oriented Volunteer Computing for  Massively Parallel Constraint Solving Using Portfolios
  • Pascal Benchimol, Jean-Charles Regin, Louis-Martin Rousseau, Michel Rueher and Willem-Jan van Hoeve. Improving the Held and Karp Bound with Constraint Programming
  • Steve Prestwich, Armagan Tarim, Roberto Rossi and Brahim Hnich. Stochastic Constraint Programming by Neurevolution With Filtering
  • Julien Dupuis, Pierre Schaus and Yves Deville. Consistency check for the bin packing constraint revisted
  • Jens Schulz, Timo Berthold, Stefan Heinz, Marco E. Lübbecke and Rolf H. Möhring. A Constraint Integer Programming Approach for Resource-Constrained Project Scheduling
  • Feng Xie and Andrew Davenport. Massively parallel constraint programming for supercomputers: challenges and initial results
  • Andrew Davenport. Integrated maintenance scheduling for semiconductor manufacturing
  • Emmanuel Hebrard, Eoin O'Mahony and Barry O'Sullivan. Constraint Programming and Combinatorial Optimisation in Numberjack