Foundations of Constraint Programming

Foundations of Constraint Programming

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

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

Foundations of Constraint Programming

News

• Tutorial 5, shifted to the 6th of January, DS 6 (after FLP)
• Exercise sheet for the first tutorial on Wednesday, 19th October uploaded.

Organization

The first lecture will be on Wednesday, 12th October 2016, 13:00-14:30 (DS 4) in room APB E005.

The lecture and tutorial will alternate and take place on Wednesday, 13:00-14:30 (DS 4) in room APB E005.

• Krzysztof Apt. Constraint Programming, Cambridge University Press. 2003.

Veranstaltungskalender abonnieren (icalendar)

Vorlesung	Introduction	DS4, 12. Oktober 2016 in APB E005	Datei
Übung	Tutorial	DS4, 19. Oktober 2016 in APB E005	Datei
Vorlesung	CP in a Nutshell	DS4, 26. Oktober 2016 in APB E005	Datei
Übung	Tutorial	DS4, 2. November 2016 in APB E005	Datei
Vorlesung	Complete Constraint Solvers	DS4, 9. November 2016 in APB E005	Datei
Übung	Tutorial	DS4, 23. November 2016 in APB E005	Datei 1,  Datei 2
Vorlesung	Local Consistency	DS4, 30. November 2016 in APB E005	Datei
Übung	Tutorial	DS4, 7. Dezember 2016 in APB E005	Datei
Vorlesung	Incomplete Constraint Solvers	DS4, 14. Dezember 2016 in APB E005	Datei
Übung	Tutorial	DS6, 6. Januar 2017 in APB E005	Datei
Vorlesung	Constraint Propagation	DS4, 11. Januar 2017 in APB E005	Datei
Übung	Tutorial	DS4, 18. Januar 2017 in APB E005	Datei 1,  Datei 2
Vorlesung	Search	DS4, 25. Januar 2017 in APB E005	Datei
Übung	Tutorial	DS4, 1. Februar 2017 in APB E005	Datei

Kalender