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

Beweiskomplexität (Oberseminar)

Termine

Donnerstags, 16:15 Uhr

28.04.2022 Tim Hoffmann über "Proof Complexity of Symbolic QBF Reasoning"
(Mengel, Slivovsky, 2021)

05.05.2022 Luc Spachmann über "Resolution and the Binary Encoding of Combinatorical Principles"
(Dantchev, Galesi, Martin, 2018)

12.05.2022 Agnes Schleitzer über „Resolution for Quantified Boolean Formulas“
(Buning, Karpinski, Flogel, 1995)

19.05.2022 Michael Hartisch: Quantified Integer Programming --- QBF with linear constraints and objective function

02.06.2022 Agnes Schleitzer Fortsetzung „Resolution for Quantified Boolean Formulas“
(Buning, Karpinski, Flogel, 1995)

23.06.2022 Benjamin Böhm über „A simple proof of QBF hardness“ (Beyersdorff, Blinkhorn, 2021)