Foundations of Constraint Programming

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

Dozent

Sebastian Rudolph

Tutor

Lukas Schweizer

Umfang (SWS)

1/1/0

Module

Leistungskontrolle

Klausur

News

1st Exercise Sheet is online

Description

Many natural computation problems can be formulated as constraint satisfaction problems: given a finite set of variables and a finite set of constraints, the question is whether there is a solution that satisfies all conditions. For which types of constraints can CSPs be solved efficiently, and with which algorithms? For which CSPs can such algorithms not exist?

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

Veranstaltungskalender abonnieren (icalendar)

Vorlesung	Introduction	DS6, 14. Oktober 2019 in APB E005	Datei
Übung	Tutorial	DS6, 21. Oktober 2019 in APB E005	Datei
Vorlesung	CSP in a Nutshell	DS6, 28. Oktober 2019 in APB E005	Datei
Übung	Tutorial	DS6, 4. November 2019 in APB E005	Datei
Vorlesung	Complete Constraint Solvers	DS6, 11. November 2019 in APB E005	Datei
Übung	Tutorial	DS6, 18. November 2019 in APB E005	Datei
Vorlesung	Local Consistency	DS6, 25. November 2019 in APB E005	Datei
Übung	Tutorial	DS6, 2. Dezember 2019 in APB E005	Datei
Vorlesung	Incomplete Constraint Solvers	DS6, 9. Dezember 2019 in APB E005	Datei
Übung	Tutorial	DS6, 16. Dezember 2019 in APB E005	Datei
Vorlesung	Constraint Propagation	DS6, 6. Januar 2020 in APB E005	Datei
Vorlesung	Search	DS6, 13. Januar 2020 in APB E005	Datei
Übung	Tutorial	DS6, 20. Januar 2020 in APB E005	Datei
Vorlesung	Q&A	DS6, 3. Februar 2020 in APB E005

Kalender