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

  1. Download Introduction and Overview [recording Download recording]
  2. Download Getting Practical… Modeling Introduction [recording Download recording]
  3. Download Modeling Introduction. Constraint Satisfaction Problems [recording Download recording]
  4. Download Constraint Propagation [recording Download recording]
  5. Download Constraint Propagation [recording Download recording]
  6. Download Search. Outlook [recording Download recording]
  7. Download Constraints: Modeling & Propagation [recording Download recording]
  8. Download Constraints: Modeling & Propagation [recording Download recording]
  9. Download Constraints: Modeling & Propagation, Download Compact Table [recording Download recording]
  10. Download Search Reconsidered [recording Download recording]
  11. Download Scheduling, Set Constraints, Other Approaches [recording Download recording]
  12. Download Course Summary [recording Download recording]

Course Notes

Download [download course notes]