Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):
S. Szeider:
"A Survey on Parameterized Complexity and SAT";
Vortrag: Dagstuhl Seminar,
Schloss Dagstuhl, Deutschland (eingeladen);
19.04.2015
- 24.04.2015.
Kurzfassung englisch:
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.
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.