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 2018
Lecturer
Tutor
SWS
- 1/1/0
Modules
Examination method
- Written exam
NEWS
- Tutorial 2 will be held on Thursday, DS3 on the 25th October!!
- MiniZinc solutions are available at https://github.com/iccl-lab/fcp-minizinc-solutions
- 15th October, exercise sheet for tutorial 1 online
- Krzysztof Apt. Constraint Programming, Cambridge University Press. 2003.
Subscribe to events of this course (icalendar)
| Lecture | Introduction | DS6, October 8, 2018 in APB E005 | File |
| Exercise | Tutorial | DS6, October 15, 2018 in APB E005 | File |
| Lecture | CP in a Nutshell | DS6, October 22, 2018 in APB E005 | File |
| Exercise | Tutorial | DS3, October 25, 2018 in APB E005 | File |
| Lecture | Complete Constraint Solvers | DS6, November 5, 2018 in APB E005 | File |
| Exercise | Tutorial | DS6, November 12, 2018 in APB E005 | File |
| Lecture | Local Consistency | DS6, November 19, 2018 in APB E005 | File |
| Exercise | Tutorial | DS6, November 26, 2018 in APB E005 | File |
| Lecture | Incomplete Constraint Solvers | DS6, December 10, 2018 in APB E005 | File |
| Exercise | Tutorial | DS6, December 17, 2018 in APB E005 | File |
| Lecture | Constraint Propagation | DS6, January 7, 2019 in APB E005 | File |
| Lecture | Search | DS6, January 14, 2019 in APB E005 | File |
| Exercise | Tutorial | DS6, January 21, 2019 in APB E005 | File |
| Exercise | Tutorial Q/A | DS6, January 28, 2019 in APB E005 |
Calendar
