Sessions

• Coffee Break 20 Jul · 10:00-10:30 CP
• SAT, MAXSAT, CP-SAT 20 Jul · 10:50-12:30 CP
• Lunch 20 Jul · 12:30-14:00 CP
• Coffee Break 20 Jul · 16:00-16:30 CP
• Coffee Break 21 Jul · 10:00-10:30 CP
• Application: Modelling 21 Jul · 11:50-12:30 CP
• Lunch 21 Jul · 12:30-14:00 CP
• Scheduling, Timetabling 21 Jul · 14:00-16:00 CP
• Coffee Break 21 Jul · 16:00-16:30 CP
• Coffee Break 22 Jul · 10:00-10:30 CP
• Lunch 22 Jul · 12:30-13:55 CP
• Application (Logistics, HVAC Optimisation, Playoff Clinching) 22 Jul · 14:40-16:00 CP
• Coffee Break 22 Jul · 16:00-16:30 CP
• Hybrid MIP/CP, Routing, Pareto 22 Jul · 16:30-17:50 CP
• Coffee Break 23 Jul · 10:00-10:30 CP
• SMT 23 Jul · 12:05-12:25 CP
• Lunch 23 Jul · 12:25-13:55 CP
• Application (Production, Timetabling, Automated Driving Systems) 23 Jul · 14:40-16:00 CP
• Coffee Break 23 Jul · 16:00-16:30 CP
• Theory 1 23 Jul · 16:30-17:30 CP