Skip to main content
Department of Information Technology

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 (Read this now!) Pierre Flener
Consistency L03a.pdf, L03b.pdf Appendix A of Course Notes Pierre Flener
Propagation L04a.pdf, L04b.pdf Sections 21.1-21.6, 22.1, 23, 24, and 26 of MPG; Chapter 2 of Course Notes; SchulteCarlsson06 Pierre Flener
Search L05.pdf Chapters 9, 29, and 36 of MPG; Chapter 3 of Course Notes Pierre Flener
Global Constraints L06a.pdf, L06b.pdf Pierre Flener
Modelling L07a.pdf, L07b.pdf Part C of MPG; VanHentenryck02 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; vanHoeve01 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.

Updated  2010-12-01 08:20:57 by Pierre Flener.