Talks and Poster Presentations (without Proceedings-Entry):
S. Szeider:
"A Survey on Parameterized Complexity and SAT";
Talk: Dagstuhl Seminar,
Schloss Dagstuhl, Deutschland (invited);
2015-04-19
- 2015-04-24.
English abstract:
In this talk I will discuss basic concepts of parameterized complexity
(such as fixed-parameter tractability, reductions, hardness, and
kernelization) and survey parameterized complexity results related to
satisfiability (SAT). The focus will be on laying out what kind of
questions can be asked and not on technical details.
Created from the Publication Database of the Vienna University of Technology.