Beweiskomplexität (Oberseminar)

In diesem Seminar werden verschiedene Paper und Masterarbeiten zum Thema Beweiskomplexität vorgestellt. Der Fokus liegt dabei überwiegend auf Resultaten aus dem SAT- und QBF-Bereich.

Interessenten mit thematisch passenden Vorträgen sind gern gesehen und können dazu bitte Herrn Professor Beyersdorff kontaktieren.

Titel

Termin

Einzeltermine

Donnerstags, 16:15 Uhr

11.04. Tim Hoffmann - Dynamische und Statische Kompilierung zu Decision-DNNFs

02.05. Olaf Beyersdorff - Optimale Beweissysteme

16.05. Fabian Egidy (Universität Würzburg) - Optimale Beweissysteme und Orakel

23.05. Tim Hoffmann - #SAT-Solving: DPLL vs. dynamisches Programmieren

06.06. Tim Hoffmann, Kaspar Kasche - Praktische #SAT-Solver

20.06. Kaspar Kasche - Starke Beweissysteme für #SAT

27.06. Kaspar Kasche - Sherali-Adams, zirkuläre und gewichtete Resolution

Raum

Ernst-Abbe-Platz 2: SR 3325