Lehrveranstaltungen


Erweiterte Suche|Zurücksetzen
Wahlmodul 2: Constraint-Solving (7,5 ECTS-AP, 4 SSt.)
Anmeldevoraussetzung: keine
Lernergebnis: 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.
Zur übergeordneten Rubrik
OLAT ML
703304
VO Constraint Solving (VO / 2h / 4,5 ECTS-AP)
René Thiemann
Details zu dieser Lehrveranstaltung
OLAT ML
703305
PS Constraint Solving (PS / 2h / 3 ECTS-AP)
Fabian Sebastian Mitterwallner
Details zu dieser Lehrveranstaltung

Hinweis:
  • Es können sich noch Änderungen im Lehrveranstaltungsangebot sowie bei Raum- und Terminbuchungen ergeben.
  • Bitte wählen Sie für das Lehrveranstaltungsangebot die Fakultät aus, der Ihre Studienrichtung zugeteilt ist.