Wissenschaftliches Arbeiten im Bereich der Logik
Wir bearbeiten in diesem Seminar Methoden aus der algorithmischen Graphtheorie und ihre Anwendungen auf Fragestellungen in Boolean Satisfiability (SAT) und Answer Set Programming (ASP). Der Fokus im Seminar liegt auf dem Entwurf und der Entwicklung effizienter parametrisierter Algorithmen.
ECTS Breakdown:
Der Leistungsnachweis erfolgt auf Basis einer Ausarbeitung und Präsentation eines ausgewählten Lösungsalgorithmus und seiner Implementierung.
Nicht erforderlich