Foundations of Constraint Programming

Foundations of Constraint Programming

Lehrveranstaltung mit SWS 1/1/0 (Vorlesung/Übung/Praktikum) in WS 2018

Dozent

• Sebastian Rudolph

Tutor

• Lukas Schweizer

Umfang (SWS)

• 1/1/0

Module

• INF-BAS2
• INF-VERT2
• MCL-LCP

Leistungskontrolle

• Klausur

• Information
• Literatur
• Termine und Unterlagen

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.

Veranstaltungskalender abonnieren (icalendar)

Vorlesung	Introduction	DS6, 8. Oktober 2018 in APB E005	Datei
Übung	Tutorial	DS6, 15. Oktober 2018 in APB E005	Datei
Vorlesung	CP in a Nutshell	DS6, 22. Oktober 2018 in APB E005	Datei
Übung	Tutorial	DS3, 25. Oktober 2018 in APB E005	Datei
Vorlesung	Complete Constraint Solvers	DS6, 5. November 2018 in APB E005	Datei
Übung	Tutorial	DS6, 12. November 2018 in APB E005	Datei
Vorlesung	Local Consistency	DS6, 19. November 2018 in APB E005	Datei
Übung	Tutorial	DS6, 26. November 2018 in APB E005	Datei
Vorlesung	Incomplete Constraint Solvers	DS6, 10. Dezember 2018 in APB E005	Datei
Übung	Tutorial	DS6, 17. Dezember 2018 in APB E005	Datei
Vorlesung	Constraint Propagation	DS6, 7. Januar 2019 in APB E005	Datei
Vorlesung	Search	DS6, 14. Januar 2019 in APB E005	Datei
Übung	Tutorial	DS6, 21. Januar 2019 in APB E005	Datei
Übung	Tutorial Q/A	DS6, 28. Januar 2019 in APB E005

Kalender