Conference Program

An overview of the full-week conference program can be found below:

For details on the individual days' program, please follow the links below.

Click here to print program.

go to top

Sunday, May 22

Informal, pre-Master Class Afternoon in a Beer Garden: For those of you who will be in Berlin on Sunday, May 22, we will be having an informal gathering at the Golgatha Beer Garden in Viktoriapark, from 4pm on. Click here for details.

go to top

Monday, May 23

Master Class on Search Strategies in CP, SAT, AI and MIP. The lectures are scheduled full-day and followed by a reception. Click here for details on the talks and speakers.

8:15 - 9:00 Registration and Opening
9:00 - 10:15
John Chinneck
10:15 - 10:45 Coffee Break
10:45 - 12:00
Gilles Pesant
12:00 - 13:30 Lunch Break
13:30 - 14:45
Marijn Heule
14:45 - 15:15 Coffee Break
15:15 - 16:30
Nathan Sturtevant
16:30 - 16:45 Stretch Break
16:45 - 18:00
John Chinneck, Gilles Pesant, Marijn Heule, Nathan Sturtevant
Panel Session: Ideas for Crossfertilization and Hybrids
18:00 - later Master Class
Reception


go to top

Tuesday, May 24

Four parallel workshops. Click here for details.

go to top

Wednesday‒Friday, May 25‒27

Conference Program. Click here for the list of accepted papers that will be presented at the conference. Additionally, there will be invited talks by For more details on the invited talks and speakers click here.

Overview. The schedule below gives an overview over the three-day main conference program. A detailed schedule listing all talks and exact times can be found below.

Wednesday Thursday Friday
8:15 - 9:00 Opening Opening Opening
9:00 - 9:30 Invited Talk Invited Talk Invited Talk
9:30 - 10:00
10:00 - 10:30 Coffee Break Coffee Break Coffee Break
10:30 - 11:00 Paper
Presentations 		Paper
Presentations 		Paper
Presentations
11:00 - 11:30
11:30 - 12:00
12:00 - 12:25
12:25 - 13:50 Lunch Break Lunch Break Lunch Break
13:50 - 14:00 Future Conf's Future Conf's Future Conf's
14:00 - 14:30 Paper
Presentations		 Paper
Presentations		 Paper
Presentations
14:30 - 15:00
15:00 - 15:30
15:30 - 16:00 Coffee Break Coffee Break Coffee Break
16:00 - 16:30 Paper
Presentations		 Paper
Presentations
16:30 - 17:00 (Informal) Visit to the Ethnological Museum
17:00 - 17:30
17:30 - 18:00 Sightseeing
bus tour to Alexanderplatz
18:00 - 18:30 (Informal) Farewell at a Beergarden
18:30 - 19:00 Reception
in the
Botanic Garden
19:00 - later Gala Dinner
on top of the
Berlin TV tower


go to top

Detailed Schedule. A detailed schedule for the main conference can be found below:

For information on the pre-conference Master Class on Monday, May 23, and the Workshop Program on Tuesday, May 24, see above.

Wednesday, May 25


8:15 - 9:00 Registration and Opening
9:00 - 10:00
Invited talk
Craig Boutilier, University of Toronto, Canada
10:00 - 10:30 Coffee Break
10:30 - 12:25
Scheduling
Session Chair: Alkis Vazacopoulos
Long Paper
Climbing Depth-bounded Adjacent Discrepancy Search for Solving Hybrid Flow Shop Scheduling Problems with Multiprocessor Tasks
Asma Lahimer, Pierre Lopez and Mohamed Haouari
Short Paper
Parallel Machine Scheduling with Additional Resources: A Lagrangian-based Constraint Programming Approach
Emrah B. Edis and Ceyda Oguz
Long Paper
Precedence Constraint Posting for Cyclic Scheduling Problems
Alessio Bonfietti, Michele Lombardi, Michela Milano and Luca Benini
Abstract
Solving the no-wait job shop problem: an ILP and CP approach
Henno Vermeulen, Han Hoogeveen and Marjan Van Den Akker
Abstract
Comparing Integer Programming and Constraint Programming for a Flow Shop Lot Streaming Problem
Rahime Sancar Edis, Ceyda Oguz and Emrah B. Edis
12:25 - 13:50 Lunch Break
13:50 - 14:00 Future Conferences
14:00 - 15:30
Optimization on Graphs
Session Chair: Helmut Simonis
Long Paper
Optimization Methods for the Partner Units Problem
Conrad Drescher, Markus Aschinger, Gerhard Friedrich, Georg Gottlob, Peter Jeavons, Anna Ryabokon and Evgenij Thorstensen
Long Paper
Branch-Cut-and-Propagate for the Maximum k-Colorable Subgraph Problem with Symmetry
Tim Januschowski and Marc E. Pfetsch
Abstract
Using column generation to solve the edge coloring problem
Han Hoogeveen, Marjan Van Den Akker and Wouter Lauret
Abstract
Three ideas for the Quadratic Assignment Problem
Matteo Fischetti, Michele Monaci and Domenico Salvagnin
15:30 - 16:00 Coffee Break
16:00 - 17:10
Core Solver Technologies
Session Chair: Robert Fourer
Long Paper
Manipulating MDD Relaxations for Combinatorial Optimization
David Bergman, Willem-Jan Van Hoeve and John Hooker
Short Paper
On counting lattice points and Chvatal-Gomory cutting planes
Andrea Lodi, Gilles Pesant and Louis-Martin Rousseau
Abstract
Which Mixed Integer Programs could a million CPUs solve?
Thorsten Koch and Yuji Shinano
17:10 - 17:20 Stretch Break
17:20 - 18:30
Rostering
Session Chair: Pierre Schaus
Short Paper
Identifying Patterns in Sequences of Variables
Alessandro Zanarini and Pascal Van Hentenryck
Short Paper
Retail Store Workforce Scheduling by Expected Operating Income Maximization
Nicolas Chapados, Marc Joliveau and Louis-Martin Rousseau
Abstract
Exact Branch-and-price for Fair-share Airline Crew Rostering
Ranga Muhandiramge
18:30 - later
Official Group Photo
Conference Reception in the
Botanic Garden


go to top

Thursday, May 26


8:15 - 9:00 Registration and Opening
9:00 - 10:00
Invited talk
Ian Gent, St. Andrews University, Scotland
10:00 - 10:30 Coffee Break
10:30 - 12:25
Networks and Transportation
Session Chair: Louis-Martin Rousseau
Long Paper
Spatial and Objective Decompositions for Very Large SCAPs
Carleton Coffrin, Pascal Van Hentenryck and Russell Bent
Short Paper
Efficient Planning of Substation Automation System Cables
Thanikesavan Sivanthi and Jan Poland
Long Paper
Upgrading Shortest Paths in Networks
Bistra Dilkina, Katherine Lai and Carla Gomes
Abstract
Multimodal Home Healthcare Scheduling using a novel CP–VND–DP Approach
Andrea Rendl, Matthias Prandtstetter and Jakob Puchinger
Abstract
Benders Decomposition for the Full-Truckload Pickup-and-Delivery Vehicle Routing Problem
Jenny Nossack and Erwin Pesch
12:25 - 13:50 Lunch Break
13:50 - 14:00 Future Conferences
14:00 - 15:30
Learning, Feasibility, and Scheduling
Session Chair: Willem van Hoeve
Long Paper
A probing algorithm for MINLP with failure detection by SVM
Giacomo Nannicini, Pietro Belotti, Jon Lee, Jeff Linderoth, Francois Margot and Andreas Waechter
Long Paper
A new algorithm for linear and integer feasibility in Horn constraints
K. Subramani and James Worthington
Abstract
Learning Graphical Models for Algorithm Configuration
Mauro Birattari, Marco Chiarandini, Marco Saerens and Thomas Stuetzle
Abstract
Satisfiability Test for the Energy Constraint
Christian Artigues, Pierre Lopez and William Mangoua Sofack
15:30 - 16:00 Coffee Break
16:00 - 17:10
Search in CP
Session Chair: Laurent Perron
Short Paper
Recovering Indirect Solution Densities for Counting-Based Branching Heuristics
Gilles Pesant and Alessandro Zanarini
Abstract
Towards a Characterization of Adaptiveness for Constraint Programming Search Design
Thiago Serra
Abstract
Search Combinators
Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz and Peter Stuckey
17:10 - 17:20
17:30 - 19:00 Sightseeing bus tour
to Alexanderplatz
19:00 - 19:30
19:30 - later Gala Dinner
on top of the
Berlin TV tower


go to top

Friday, May 27


8:15 - 9:00 Registration and Opening
9:00 - 10:00
Invited talk
Andrea Lodi, DEIS, University of Bologna, Italy
10:00 - 10:30 Coffee Break
10:30 - 12:25
Global Constraints and CP Modeling
Session Chair: Michel Rueher
Long Paper
The AllDifferent Constraint with Precedences
Christian Bessiere, Nina Narodytska, Claude-Guy Quimper and Toby Walsh
Short Paper
The objective sum constraint
Jean-Charles Regin and Thierry Petit
Long Paper
Using hard constraints for representing soft constraints
Jean-Charles Regin
Abstract
Neuron Constraints to Model Complex Real-World Problems
Michele Lombardi and Michela Milano
Abstract
The Aimms Interface to Constraint Programming
Willem-Jan Van Hoeve, Marcel Hunting and Chris Kuip
12:25 - 13:50 Lunch Break
13:50 - 14:00 Future Conferences
14:00 - 15:30
Global Contraints for Scheduling
Session Chair: Michele Lombardi
Long Paper
Timetable Edge Finding Filtering Algorithm for Discrete Cumulative Resources
Petr Vilim
Long Paper
Almost Square Packing
Helmut Simonis and Barry O'Sullivan
Abstract
Explanation Algorithms for Cumulative Scheduling
Stefan Heinz and Jens Schulz
Abstract
A Constraint Programming Approach for a Batch Processing Problem with Non-identical Job Sizes
Arnaud Malapert, Louis-Martin Rousseau and Christelle Guéret
15:30 - 15:45
Closing Address
Martin Grötschel
15:45 - 16:30 Coffee Break
16:30 - 18:00 (Informal) Visit
to the Ethnological Museum
18:00 - later (Informal) Farewell
at a Beergarden
go to top