703305 PS Constraint Solving

Wintersemester 2022/2023 | Stand: 30.06.2022 LV auf Merkliste setzen
703305
PS Constraint Solving
PS 2
3
wöch.
jährlich
Englisch

Vertieftes Verständnis auf dem Gebiet des Constraint Solving. Studierende beherrschen Konzepte, die in aktuellen SAT-, SMT-und ähnlichen Solvern eingesetzt werden, und können diese auch gegebenenfalls eigenständig weiterentwickeln. Zudem können sie für Anwendungen geeignete Solver auswählen, um Problemstellungen effektiv zu lösen.

Einüben der Vorlesungsthemen durch Anwenden der vorgestellten Konzepte

siehe Termine
Gruppe 0
Datum Uhrzeit Ort
Mi 12.10.2022
16.15 - 18.00 3W03 3W03 Barrierefrei
Mi 19.10.2022
16.15 - 18.00 3W03 3W03 Barrierefrei
Mi 09.11.2022
16.15 - 18.00 3W03 3W03 Barrierefrei
Mi 16.11.2022
16.15 - 18.00 3W03 3W03 Barrierefrei
Mi 23.11.2022
16.15 - 18.00 3W03 3W03 Barrierefrei
Mi 30.11.2022
16.15 - 18.00 3W03 3W03 Barrierefrei
Mi 07.12.2022
16.15 - 18.00 3W03 3W03 Barrierefrei
Mi 14.12.2022
16.15 - 18.00 3W03 3W03 Barrierefrei
Mi 11.01.2023
16.15 - 18.00 3W03 3W03 Barrierefrei
Mi 18.01.2023
16.15 - 18.00 3W03 3W03 Barrierefrei
Mi 25.01.2023
16.15 - 18.00 3W03 3W03 Barrierefrei
Mi 01.02.2023
16.15 - 18.00 3W03 3W03 Barrierefrei