St. Szeider:
"Parameterized Complexity";
Keynote Lecture: the International SAT/SMT Summer School, Espoo, Finland (invited); 2013-07-03 - 2013-07-05.
http://publik.tuwien.ac.at/files/PubDat_223526.pdf
Project Head Stefan Szeider:
The Parameterized Complexity of Reasoning Problems