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.