Foundations of Constraint Programming

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Foundations of Constraint Programming

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

Dozent

Tutor

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 Download
Übung Tutorial DS6, 21. Oktober 2019 in APB E005 Download
Vorlesung CSP in a Nutshell DS6, 28. Oktober 2019 in APB E005 Download
Übung Tutorial DS6, 4. November 2019 in APB E005 Download
Vorlesung Complete Constraint Solvers DS6, 11. November 2019 in APB E005 Download
Übung Tutorial DS6, 18. November 2019 in APB E005 Download
Vorlesung Local Consistency DS6, 25. November 2019 in APB E005 Download
Übung Tutorial DS6, 2. Dezember 2019 in APB E005 Download
Vorlesung Incomplete Constraint Solvers DS6, 9. Dezember 2019 in APB E005 Download
Übung Tutorial DS6, 16. Dezember 2019 in APB E005 Download
Vorlesung Constraint Propagation DS6, 6. Januar 2020 in APB E005 Download
Vorlesung Search DS6, 13. Januar 2020 in APB E005 Download
Übung Tutorial DS6, 20. Januar 2020 in APB E005 Download
Vorlesung Q&A DS6, 3. Februar 2020 in APB E005


Kalender