Foundations of Constraint Programming
Aus International Center for Computational Logic
Foundations of Constraint Programming
Lehrveranstaltung mit SWS 1/1/0 (Vorlesung/Übung/Praktikum) in WS 2015
Dozent
Tutor
Umfang (SWS)
- 1/1/0
Module
Leistungskontrolle
- Klausur
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.
Veranstaltungskalender abonnieren (icalendar)
| Vorlesung | Introduction | DS3, 12. Oktober 2015 in APB E005 | Datei |
| Übung | Tutorial 1 | DS3, 19. Oktober 2015 in APB E005 | Datei 1, Datei 2 |
| Vorlesung | CP in a Nutshell | DS3, 26. Oktober 2015 in APB E005 | Datei |
| Übung | Tutorial 2 | DS3, 2. November 2015 in APB E005 | Datei |
| Vorlesung | Complete Constraint Solvers | DS3, 16. November 2015 in APB E005 | Datei |
| Übung | Tutorial 3 | DS3, 23. November 2015 in APB E005 | Datei 1, Datei 2 |
| Vorlesung | Local Consistency | DS3, 30. November 2015 in APB E005 | Datei |
| Übung | Tutorial 4 | DS3, 7. Dezember 2015 in APB E005 | Datei |
| Vorlesung | Incomplete Constraint Solvers | DS3, 14. Dezember 2015 in APB E005 | Datei |
| Übung | Tutorial 4 (continued) | DS1, 15. Dezember 2015 in APB E005 | |
| Übung | Tutorial 5 | DS3, 4. Januar 2016 in APB E005 | Datei |
| Vorlesung | Constraint Propagation | DS3, 11. Januar 2016 in APB E005 | Datei |
| Übung | Tutorial 6 | DS3, 19. Januar 2016 in APB E005 | |
| Vorlesung | Search | DS3, 25. Januar 2016 in APB E005 | Datei |
| Übung | Tutorial 7 | DS3, 1. Februar 2016 in APB E005 | Datei |
| Vorlesung | Q&A | DS3, 9. Februar 2016 in APB E005 |
Kalender
