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 bzw. QSAT). Der Fokus im Seminar liegt auf dem Entwurf und der Entwicklung effizienter parametrisierter Algorithmen. Im speziellen sollen Baumzerlegungen so verwendet werden, dass bestehende SAT-Systeme in entsprechende Algorithmen integriert werden können.
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