[Zurück]


Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):
St. Szeider:
"Parameterized Complexity";
Hauptvortrag: the International SAT/SMT Summer School, Espoo, Finland (eingeladen); 03.07.2013 - 05.07.2013.

Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_223526.pdf

Zugeordnete Projekte:
Projektleitung Stefan Szeider:
The Parameterized Complexity of Reasoning Problems

Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.