Fixed-Parameter Tractability of Dependency QBF with Structural Parameters (bibtex)
by , , ,
Reference:
Fixed-Parameter Tractability of Dependency QBF with Structural ParametersRobert Ganian, Tomáš Peitl, Friedrich Slivovsky, Stefan SzeiderPrinciples of Knowledge Representation and Reasoning: Proceedings of the Seventeenth International Conference, KR 2020, pages 1898–1904, 2020.Note: to appear
Bibtex Entry:
@inproceedings{GanianPeitlSlivovskySzeider20,
  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},
  booktitle = {Principles of Knowledge Representation and Reasoning:
                  Proceedings of the Seventeenth International
                  Conference, KR 2020},
  year      = {2020},
  pdf       = {http://www.ac.tuwien.ac.at/files/tr/ac-tr-20-011.pdf},
 pages     = {1898--1904},
  note     ={to appear},
  keywords  = {nfpc,slim,reveal},
}
Powered by bibtexbrowser