Lecture Notes
As the course does not use a single textbook, the lecture notes together with additional material serve as the material defining the course. Additional material will be book excerpts, scientific papers, and material written by me.
I will record the lectures (audio only) and will make the recording available after the lecture.
Lecture Notes
- Introduction and Overview Download Introduction and Overview [recording Download recording]
- Getting Practical… Modeling Introduction Download Getting Practical… Modeling Introduction [recording Download recording]
- Modeling Introduction. Constraint Satisfaction Problems Download Modeling Introduction. Constraint Satisfaction Problems [recording Download recording]
- Constraint Propagation Download Constraint Propagation [recording Download recording]
- Constraint Propagation Download Constraint Propagation [recording Download recording]
- Search. Outlook Download Search. Outlook [recording Download recording]
- Constraints: Modeling & Propagation Download Constraints: Modeling & Propagation [recording Download recording]
- Constraints: Modeling & Propagation Download Constraints: Modeling & Propagation [recording Download recording]
- Constraints: Modeling & Propagation Download Constraints: Modeling & Propagation, Compact Table Download Compact Table [recording Download recording]
- Search Reconsidered Download Search Reconsidered [recording Download recording]
- Scheduling, Set Constraints, Other Approaches Download Scheduling, Set Constraints, Other Approaches [recording Download recording]
- Course Summary Download Course Summary [recording Download recording]