CP Lectures & Slides

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	Teacher
Introduction & Overview	T01.pdf	Reality Quiz	Pierre Flener
Gecode Primer	T02.pdf	Chapters 1, 2, 3, 4, 7, 8, 11 of MPG (Read this now!!!)	Pierre Flener
Consistency	T03.pdf	Appendix A of Course Notes	Pierre Flener
Propagation	T04.pdf	Sections 22.1-22.6, 23.1-23.2, and 24 of MPG; Chapter 2 of Course Notes; [Schulte & Carlsson 2006]	Pierre Flener
18 Sep: Guest Lecture "Decide Different!"	18:00 @ UU-aula	Facebook, Coursera, YouTube, YouTube	Pascal Van Hentenryck
Search	T05.pdf	Chapters 9, 10, 31, and 32.1 of MPG; Chapter 3 of Course Notes	Pierre Flener
Global Constraints	T06.pdf	Global Constraint Catalogue, Global Constraint Seeker	Pierre Flener
Modelling	T07a.pdf, T07b.pdf	Part C (Chapters 12 - 21) of MPG; [VanHentenryck 2002]	Pierre Flener
Symmetry	T08.pdf		Pierre Flener
Set Variables and Set Constraints	T09.pdf	Chapters 5 and 28 of MPG	Pierre Flener
Propagation for the DISTINCT constraint	T10a.pdf, T10b.pdf	[Régin 1994]; [vanHoeve 2001]	Maria Andreina Francisco Rodriguez and Pierre Flener
The REGULAR Constraint	T11.pdf		Pierre Flener
Constraint-Based Local Search	T12.pdf		Pierre Flener
25 Nov: Guest Lecture: Constraint-Based Scheduling	T13.pdf	Section 4.4.18 of MPG, Section 2.2 of Intro to CBS slides	Joseph Scott, UU/IT
Case Study: Air Traffic Management	T14.pdf	CP for ATM: A Survey	Pierre Flener
12 Dec: Guest Lecture: Validated Numerics and Parameter Estimation (Propagation over Continuous Domains)	T15.pdf		Warwick Tucker, UU/Maths
Conclusion, Questions & Answers	T16.pdf		Pierre Flener