Foundations of Constraint Programming
From International Center for Computational Logic
Foundations of Constraint Programming
Course with SWS 1/1/0 (lecture/exercise/practical) in WS 2016
Lecturer
Tutor
SWS
- 1/1/0
Modules
Examination method
- Written exam
Foundations of Constraint Programming
News
- Tutorial 5, shifted to the 6th of January, DS 6 (after FLP)
- Exercise sheet for the first tutorial on Wednesday, 19th October uploaded.
Organization
The first lecture will be on Wednesday, 12th October 2016, 13:00-14:30 (DS 4) in room APB E005.
The lecture and tutorial will alternate and take place on Wednesday, 13:00-14:30 (DS 4) in room APB E005.- Krzysztof Apt. Constraint Programming, Cambridge University Press. 2003.
Subscribe to events of this course (icalendar)
| Lecture | Introduction | DS4, October 12, 2016 in APB E005 | File |
| Exercise | Tutorial | DS4, October 19, 2016 in APB E005 | File |
| Lecture | CP in a Nutshell | DS4, October 26, 2016 in APB E005 | File |
| Exercise | Tutorial | DS4, November 2, 2016 in APB E005 | File |
| Lecture | Complete Constraint Solvers | DS4, November 9, 2016 in APB E005 | File |
| Exercise | Tutorial | DS4, November 23, 2016 in APB E005 | File 1, File 2 |
| Lecture | Local Consistency | DS4, November 30, 2016 in APB E005 | File |
| Exercise | Tutorial | DS4, December 7, 2016 in APB E005 | File |
| Lecture | Incomplete Constraint Solvers | DS4, December 14, 2016 in APB E005 | File |
| Exercise | Tutorial | DS6, January 6, 2017 in APB E005 | File |
| Lecture | Constraint Propagation | DS4, January 11, 2017 in APB E005 | File |
| Exercise | Tutorial | DS4, January 18, 2017 in APB E005 | File 1, File 2 |
| Lecture | Search | DS4, January 25, 2017 in APB E005 | File |
| Exercise | Tutorial | DS4, February 1, 2017 in APB E005 | File |
Calendar
