Fixed-Parameter Tractability of Dependency QBF with Structural Parameters

Abstract

Full Citation:

Robert Ganian, Tom'a\vs 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 and Esra Erdem and Michael Thielscher), pages 392-402, 2020.

Robert Ganian

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

Tomas Peitl

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

Stefan Szeider

Head of Research Unit

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