Fixed-Parameter Tractability of Dependency QBF with Structural Parameters

Ganian, Robert; Peitl, Tomáš; Slivovsky, Friedrich; Szeider, Stefan

by Robert Ganian, Tomáš Peitl, Friedrich Slivovsky, Stefan Szeider

Reference:

Fixed-Parameter Tractability of Dependency QBF with Structural ParametersRobert Ganian, Tomáš Peitl, Friedrich Slivovsky, Stefan Szeider2020, Technical report AC-TR-20-011, Algorithms and Complexity Group, TU Wien.

Bibtex Entry:

@TechReport{GanianPeitlSlivovskySzeider20tr,
  author    = {Robert Ganian and Tom{\'{a}}{\v{s}} Peitl and Friedrich
                  Slivovsky and Stefan Szeider},
  title     = {Fixed-Parameter Tractability of Dependency QBF with
                  Structural Parameters},
  institution  = {Algorithms and Complexity Group, TU Wien},
  year         = {2020},
  number       = {AC-TR-20-011},
  url          = {http://www.ac.tuwien.ac.at/files/tr/ac-tr-20-011.pdf},
}