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 SzeiderProceedings 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.

Bibtex Entry:

@inproceedings{GanianPeitlSlivovskySzeider20,
  author    = {Robert Ganian and
               Tom{\'{a}}\v{s} Peitl and
               Friedrich Slivovsky and
               Stefan Szeider},
  editor    = {Diego Calvanese and
               Esra Erdem and
               Michael Thielscher},
  title     = {Fixed-Parameter Tractability of Dependency {QBF} with Structural Parameters},
  booktitle = {Proceedings of the 17th International Conference on Principles of
               Knowledge Representation and Reasoning, {KR} 2020},
  url       = {https://www.ac.tuwien.ac.at/files/tr/ac-tr-20-011.pdf},
  pages     = {392--402},
  year      = {2020},
  keywords  = {nfpc,slim,reveal,l2solve}
}