Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage...
Wir bearbeiten in diesem Seminar Methoden aus der algorithmischen Graphtheorie und ihre Anwendungen auf Fragestellungen in Boolean Satisfiability (SAT), Datenbanken und Answer Set Programming (ASP). Der Fokus im Seminar liegt auf dem Entwurf und der Entwicklung effizienter parametrisierter Algorithmen.
Der Leistungsnachweis erfolgt auf Basis einer Ausarbeitung und Präsentation eines ausgewählten Lösungsalgorithmus und seiner Implementierung.
ECTS Breakdown:
Die Beurteilung basiert auf den Ausarbeitungen und mündlichen Präsentationen
Nicht erforderlich