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 2015
Lecturer
Tutor
SWS
- 1/1/0
Modules
Examination method
- Written exam
Foundations of Constraint Programming
News
- Tutorial 6 is shifted to Tuesday, 19th January DS 3.
Organization
The first lecture will be on Monday, 12th October 2015, 11:10-12:40 (DS 3) in room APB E005.
The lecture and tutorial will alternate and take place on Mondays, 11:10-12:40 (DS 3) in room APB E005.- Krzysztof Apt. Constraint Programming, Cambridge University Press. 2003.
Subscribe to events of this course (icalendar)
| Lecture | Introduction | DS3, October 12, 2015 in APB E005 | File |
| Exercise | Tutorial 1 | DS3, October 19, 2015 in APB E005 | File 1, File 2 |
| Lecture | CP in a Nutshell | DS3, October 26, 2015 in APB E005 | File |
| Exercise | Tutorial 2 | DS3, November 2, 2015 in APB E005 | File |
| Lecture | Complete Constraint Solvers | DS3, November 16, 2015 in APB E005 | File |
| Exercise | Tutorial 3 | DS3, November 23, 2015 in APB E005 | File 1, File 2 |
| Lecture | Local Consistency | DS3, November 30, 2015 in APB E005 | File |
| Exercise | Tutorial 4 | DS3, December 7, 2015 in APB E005 | File |
| Lecture | Incomplete Constraint Solvers | DS3, December 14, 2015 in APB E005 | File |
| Exercise | Tutorial 4 (continued) | DS1, December 15, 2015 in APB E005 | |
| Exercise | Tutorial 5 | DS3, January 4, 2016 in APB E005 | File |
| Lecture | Constraint Propagation | DS3, January 11, 2016 in APB E005 | File |
| Exercise | Tutorial 6 | DS3, January 19, 2016 in APB E005 | |
| Lecture | Search | DS3, January 25, 2016 in APB E005 | File |
| Exercise | Tutorial 7 | DS3, February 1, 2016 in APB E005 | File |
| Lecture | Q&A | DS3, February 9, 2016 in APB E005 |
Calendar
