Skip to main content
Department of Information Technology

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

Some of the slides are copyright Christian Schulte.

Updated  2013-12-12 14:17:14 by Pierre Flener.