The main objective of lectures is to cover the required theoretical content of the course, illustrated by as many examples as possible. Lecture attendance is highly recommended in general, and sometimes mandatory (see below). The essential aspects, in the eyes of the head teacher, 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. If you miss a lecture, then find other sources, such as the recommended extra material mentioned below or the Coursera on-line courses mentioned under Resources.
There is no planned correspondence between the scheduled lectures and the topics of the course: topic starts and ends need not be aligned with lecture starts and ends, as it all depends on the questions asked during the lectures. Revised slides (change log) may be uploaded any time, with an announcement in Studium. The models and data linked to within the slides are available collectively as the file allModelsData.zip and individually, together with the slides, in the folder models.
Topic | Slides | Extra Material (recommended) | Lecturer |
---|---|---|---|
Introduction | slides numbered 1-81 & 89-92 of T01.pdf | RealityQuiz-M4CO.pdf | Pierre Flener |
Basic Modelling | T02.pdf | Sections 1 to 2.2 of MiniZinc Handbook (read this now!!!) | Pierre Flener |
Constraint Predicates | T03.pdf | Section 2.3.1 and Section 4.2.2 of MiniZinc Handbook; models in MiniZinc Benchmarks and MiniZinc Challenge; Global Constraint Catalogue & Seeker | Pierre Flener |
Tue 05 Sep 2023 at 13:15: mandatory guest lecture (normal lecture from 14:15 to 15:00) | In Practice | Mikael Zayenz Lagerkvist and Magnus Rattfeldt of OptiSchedule | |
Modelling (for CP & LCG) | T04.pdf | Section 2.7 of MiniZinc Handbook | Pierre Flener |
Symmetry | T05.pdf | see the bibliography in the slides | Pierre Flener |
Case Studies | T06.pdf | see the bibliography in the slides | Pierre Flener |
Solving Technologies | T07.pdf | linearisation of MiniZinc models (the link works from the UU network) | Pierre Flener |
Inference & Search for CP & LCG | T08.pdf | Section 2.5 and Section 4.2.1.2 of MiniZinc Handbook (look for "propagation strength" and "search" annotations) | Pierre Flener |
Modelling for CBLS (not to be seen in autumn 2023) | T09.pdf | Pierre Flener | |
Modelling for SAT, SMT, and OMT (not to be seen in autumn 2023) | T10.pdf | Section 2.8 of MiniZinc Handbook | Pierre Flener |
Modelling for MIP (not to be seen in autumn 2023) | T11.pdf | Pierre Flener |
A missed guest lecture (in case of no force majeure) can be compensated for by a summary of a research paper chosen by the head teacher.
Topic | Slides, Theoretical Questions, Programming Exercises | Extra Material (recommended) | Lecturer |
---|---|---|---|
CP and MiniCP |
slides numbered 82-91 & 93 of
T01.pdf (updated!); T12.pdf |
RealityQuiz-CP.pdf | Pierre Flener |
TinyCSP | Module 1 (see edX course "Constraint Programming" for videos, but use our updated slides, which are not pushed to edX yet) | paper on MiniCP (preprint) (delta) | Pierre Flener |
MiniCP Solver | Module 2 (ditto) | see above | Pierre Flener |
Sum and Element Constraints | Module 3 (ditto) | see above | Pierre Flener |
Table Constraint | Module 4 (ditto) | see above | Pierre Flener |
AllDifferent Constraint | Module 5 (ditto) | see above | Pierre Flener |
Circuit Constraint, TSP, VRP, Optimisation, and LNS | Module 6 (ditto) | see above | Pierre Flener |
Cumulative Scheduling | Module 7 (ditto) | see above | Pierre Flener |
Tue 12 Dec 2023 at 11:15: mandatory guest lecture (normal lecture from 10:15 to 11:00) | CP for Product Configuration at Tacton | Jean-Noël Monette of Tacton Systems AB | |
Disjunctive Scheduling | Module 8 (ditto) (whiteboard notes) | see above | Pierre Flener |
Black-Box Search | Module 9 (ditto) | see above | Pierre Flener |
Modelling (not to be seen in autumn 2023) | Module 10 (ditto), but we will not cover it, as it is redundant with the MiniZinc part of our course | see above | Pierre Flener |
Conclusion | T18.pdf | Pierre Flener |
A missed guest lecture (in case of no force majeure) can be compensated for by a summary of a research paper chosen by the head teacher.
There are no textbooks for these courses. Links to particularly good tutorials on some topics are given in the Extra Material columns of the tables above.
For the bigger picture of Course 1DL451, which is Part 1 of Course 1DL442, we recommend the following reference book:
In the voluntary case where you want a deeper understanding of the theory behind consistency and propagation in Part 2 of Course 1DL442, we recommend the following reference book: