Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage
Wir bearbeiten in diesem Seminar Methoden zur Lösung von Zählproblemen im Bereich Boolean Satisfiability (SAT), Answer Set Programming (ASP), Computational Social Choice, Bayesian Reasoning. Der Fokus im Seminar liegt auf dem Entwurf und der Entwicklung effizienter Algorithmen.
Die Studierenden müssen
ECTS Breakdown:
Abhaltemodus Sommersemester 2022:
Die Beurteilung basiert auf den Ausarbeitungen und mündlichen Präsentationen
Nicht erforderlich
(Einfache) Vorkenntnisse aus mathematischer Logik werden erwartet.