Fixed-Parameter Tractability of Dependency QBF with Structural Parameters

Robert Ganian, Tomas Peitl, Friedrich Slivovsky, Stefan Szeider
January 2020
PDF bib Project Project Project Project

Abstract

Full Citation:

Robert Ganian, Tomáš Peitl, Friedrich Slivovsky, Stefan Szeider. Fixed-Parameter Tractability of Dependency QBF with Structural Parameters. Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020 (Diego Calvanese, Esra Erdem, Michael Thielscher, eds.), pages 392–402, 2020.

Type
Conference Paper
L2solve Nfpc Reveal Slim
Robert Ganian
Robert Ganian

Robert Ganian is a Professor at the Algorithms and Complexity Group.

Tomas Peitl
Tomas Peitl

Tomáš Peitl is a Project Assistant at the Algorithms and Complexity Group.

Stefan Szeider
Stefan Szeider
Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.