Foundations of Constraint Programming
Aus International Center for Computational Logic
Foundations of Constraint Programming
Lehrveranstaltung mit SWS 1/1/0 (Vorlesung/Übung/Praktikum) in WS 2019
Viele natürliche Berechnungsprobleme lassen sich als Constraint Satisfaction Probleme formulieren: gegeben ist eine endliche Menge von Variablen und eine endliche Menge an Bedingungen (Constraints), gefragt ist, ob es eine Lösung gibt, die allen Bedingungen genügt. Für welche Arten von Constraints lassen sich CSPs effizient lösen, und mit welchen Algorithmen? Für welche CSPs kann es solche Algorithmen nicht geben?
- 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
