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. 2020, Technical report AC-TR-20-011, Algorithms and Complexity Group, TU Wien.

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.