Foundations of Constraint Programming (WS2019): Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Lukas Schweizer (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Lukas Schweizer (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 96: | Zeile 96: | ||
|Date=2019/12/16 | |Date=2019/12/16 | ||
|DS=DS6 | |DS=DS6 | ||
|Download=FCP2019-T5.pdf | |Download=FCP2019-T5.pdf | ||
}} | }} | ||
{{Vorlesung Zeiten | {{Vorlesung Zeiten | ||
| Zeile 110: | Zeile 110: | ||
|Title=Tutorial | |Title=Tutorial | ||
|Room=APB E005 | |Room=APB E005 | ||
|Date=2020/01/ | |Date=2020/01/20 | ||
|DS=DS6 | |DS=DS6 | ||
}} | }} | ||
| Zeile 117: | Zeile 117: | ||
|Title=Search | |Title=Search | ||
|Room=APB E005 | |Room=APB E005 | ||
|Date=2020/01/ | |Date=2020/01/13 | ||
|DS=DS6 | |DS=DS6 | ||
|Download=FCP-L7-Search.pdf | |Download=FCP-L7-Search.pdf | ||
Version vom 12. Januar 2020, 13:26 Uhr
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 | 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
