Rigorosum Friedrich SLIVOVSKY

Posted on 27.04.2015

Der Dekan und der Studiendekan der Fakultät für Informatik laden zur öffentlichen Präsentation und Verteidigung der Dissertation ein und ersuchen um zahlreiches Erscheinen.

Thema: Structure in #SAT and QBF (Abstract, PDF)
Ort: Sitzungszimmer des Dekanats der Fakultät für Informatik, 1040 Wien, Gusshausstraße 30/Erzherzog-Johann-Platz 1, 4. Stock