Fixed-Parameter Tractability of Dependency QBF with Structural Parameters (bibtex)
by , , ,
Reference:
Fixed-Parameter Tractability of Dependency QBF with Structural ParametersRobert Ganian, Tomás 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}}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},
  pdf       = {https://www.ac.tuwien.ac.at/files/tr/ac-tr-20-011.pdf},
  pages     = {392--402},
  year      = {2020},
  keywords  = {nfpc,slim,reveal,l2solve}
}
Powered by bibtexbrowser