Themes
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.
Lecturers
- Ian Gent (University of St Andrews, Scotland, UK), on hybridising CP and SAT
- John Hooker (Carnegie Mellon University, USA), on hybridising CP and MIP
- Laurent Michel (University of Connecticut, USA), on hybridising CP and SLS
- Michel Rueher (Université de Nice Sophia Antipolis, France), on hybridising CP and global (numerical) optimisation
Lecture Material
Last updated: Mon Jan 7 23:17:49 2019.
- Ian Gent - Satisfiability and Constraints
- John Hooker - Integrating CP and Mathematical Programming, Exercises
- Laurent Michel, Pascal Van Hentenryck - Hybrid Techniques: CP + CBLS
- Michel Rueher - Hybrid Constraints over Continuous Domains
- Nightcap presentation: David Rijsman - Quintiq
- Nightcap presentation: Reuven Naveh - Cadence and Specman
All slides as a 7-zip archive: slides.7z.
Evaluation
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.
| Time | Mon | Tue | Wed | Thu | Fri |
|---|---|---|---|---|---|
| 08:00 - 09:00 | breakfast | breakfast | breakfast | - | breakfast |
| 09:00 - 10:30 | MR | IG | LM | breakfast | IG |
| 10:30 - 11:00 | break | break | break | break | break |
| 11:00 - 12:30 | IG | JH | MR | JH | LM |
| 12:30 - 14:00 | lunch | lunch | quick lunch | lunch | lunch |
| 14:00 - 15:30 | LM | MR | excursion | IG | JH |
| 15:30 - 17:00 | break | break | excursion | break | break |
| 17:00 - 18:30 | JH | LM | excursion | MR | reserve |
| 18:30 - 20:00 | dinner | dinner | excursion | dinner | dinner |
| 20:00 - 20:30 | nightcap | nightcap | excursion | nightcap | - |
- Opening on Monday
- On Monday we will meet at 08:50 to open the summer school. Please be there on time!
- Lectures
- Each lecture will include a short break and elements of discussion, interaction, etc.
- Nightcap
- 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.