CP Lectures & Slides
For administrative reasons, and like in every course, attendance at the first two-hour-lecture is mandatory: you must contact Pierre Flener if you cannot make it for a convincing case of force majeure, ideally in advance. Attendance at all other lectures as well as at the labs and lessons is highly recommended.
The main objective of lectures is to cover the required theoretical content of the course, illustrated by as many examples as possible. Attendance is highly recommended. The essential aspects (in the eyes of the main instructor) of the course will be pointed out. Common misunderstandings will be discussed. The slides are not self-contained at all: they are only a support for the lectures, but not equivalent to their much more detailed content, so you ought to take notes and study the extra material mentioned below.
PhD students can study most of the material by themselves after the first few lectures, and are relieved of the assignment and exam duties in exchange for a more sophisticated project (possibly in connection with their PhD research).
There is no planned correspondence between the scheduled lectures and the topics of the course: a lecture may span two topics in the table below. Slides will be put on-line before a lecture (but are not distributed in printed form), hence you can always figure out approximately where we currently are.
Topic | Slides | Extra Material | Instructor |
---|---|---|---|
Introduction & Overview | L01.pdf![]() |
Pierre Flener | |
Gecode Primer | L02.pdf![]() |
Chapters 1, 2, 3, 4, 6, 10, 11 of MPG![]() |
Pierre Flener |
Consistency | L03a.pdf![]() ![]() |
Appendix A of Course Notes![]() |
Pierre Flener |
Propagation | L04a.pdf![]() ![]() |
Sections 21.1-21.6, 22.1, 23, 24, and 26 of MPG![]() ![]() ![]() |
Pierre Flener |
Search | L05.pdf![]() |
Chapters 9, 29, and 36 of MPG![]() ![]() |
Pierre Flener |
Global Constraints | L06a.pdf![]() ![]() |
Pierre Flener | |
Modelling | L07a.pdf![]() ![]() |
Part C of MPG![]() ![]() |
Pierre Flener |
Symmetry | L08.pdf![]() |
Pierre Flener | |
Set Variables and Set Constraints | L09.pdf![]() |
Chapter 5 of MPG![]() |
Pierre Flener |
Propagator for the distinct constraint | L10.pdf![]() |
Régin94![]() ![]() |
Pierre Flener |
Constraint-Based Local Search | L11.pdf![]() |
Pierre Flener | |
16 Nov: Guest Lecture: The regular Constraint | L12.pdf![]() |
Christian Schulte![]() |
|
Case Study: Air Traffic Management | L13.pdf![]() |
Pierre Flener | |
29 Nov: Guest Lecture: Propagation over Continuous Domains | L14.pdf![]() |
Warwick Tucker![]() |
|
30 Nov: Constraint-Based Scheduling | L15.pdf![]() |
Chapter 7 of MPG![]() |
Joseph Scott |
Conclusion, Questions & Answers | Pierre Flener |
Many (but not all) of the slides are copyright Christian Schulte.