St. Szeider:
"Parameterized Complexity";
Hauptvortrag: the International SAT/SMT Summer School, Espoo, Finland (eingeladen); 03.07.2013 - 05.07.2013.
http://publik.tuwien.ac.at/files/PubDat_223526.pdf
Projektleitung Stefan Szeider:
The Parameterized Complexity of Reasoning Problems