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