The objective of this advanced-level summer school is to study integration opportunities between CP solvers and the solvers of some other constraint-solving technologies, namely mixed integer programming (MIP), global (numerical) optimisation, Boolean satisfiability (SAT), and stochastic local search (SLS). Each speaker will focus on inference & relaxation, search, modelling, and implementation.


Lecture Material

Last updated: Mon Jan 7 23:17:49 2019.

All slides as a 7-zip archive: slides.7z.


The summer school has been evaluated by its participants: evaluation results.

Programme Details

The days were structured according to the following timetable (there will be a social event on Wednesday afternoon and a short Friday afternoon). The individual lecturers are abbreviated by their initials.

08:00 - 09:00breakfastbreakfastbreakfast-breakfast
09:00 - 10:30MRIGLMbreakfastIG
10:30 - 11:00breakbreakbreakbreakbreak
11:00 - 12:30IGJHMRJHLM
12:30 - 14:00lunchlunchquick lunchlunchlunch
14:00 - 15:30LMMRexcursionIGJH
15:30 - 17:00breakbreakexcursionbreakbreak
17:00 - 18:30JHLMexcursionMRreserve
18:30 - 20:00dinnerdinnerexcursiondinnerdinner
20:00 - 20:30nightcapnightcapexcursionnightcap-
Opening on Monday
On Monday we will meet at 08:50 to open the summer school. Please be there on time!
Each lecture will include a short break and elements of discussion, interaction, etc.
The "intellectual nightcap" offers a forum to discuss topics of general interest, possibly encountered during the day. We also plan to have short presentations from some of our sponsors.
Social event
On Wednesday 13:00, there will be a so-called "Blue Voyage" by boat around the isles and shores of the bay, with time for swimming, site seeing, and a BBQ.