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 2014
Lecturer
Tutor
SWS
- 1/1/0
Modules
Examination method
- Written exam
Foundations of Constraint Programming
Organization
The first lecture will be on Thursday, 16th October 2014, 11:10-12:40 (DS 3) in room APB E005.
The lecture is scheduled for Thursday, 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 16, 2014 in APB E005 | File |
| Exercise | Tutorial 1 | DS3, October 23, 2014 in APB E005 | File |
| Lecture | CP in a Nutshell | DS3, October 30, 2014 in APB E005 | File |
| Exercise | Tutorial 2 | DS3, November 6, 2014 in APB E005 | File |
| Lecture | Complete Constraint Solvers | DS3, November 13, 2014 in APB E005 | File |
| Exercise | Tutorial 3 | DS3, November 20, 2014 in APB E005 | File 1, File 2 |
| Lecture | Local Consistency | DS3, November 27, 2014 in APB E005 | File |
| Exercise | Tutorial 4 | DS3, December 4, 2014 in APB E005 | File |
| Lecture | Incomplete Constraint Solvers | DS3, December 11, 2014 in APB E005 | File |
| Exercise | Tutorial 5 | DS3, December 18, 2014 in APB E005 | File |
| Lecture | Constraint Propagation | DS3, January 8, 2015 in APB E005 | File |
| Exercise | Tutorial 6 | DS3, January 15, 2015 in APB E005 | File |
| Lecture | Search | DS3, January 22, 2015 in APB E005 | File |
| Exercise | Tutorial 7 | DS3, January 29, 2015 in APB E005 | File |
| Lecture | Q&A | DS3, February 5, 2015 in APB E005 | File |
Calendar
