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, 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},
  note     = {to appear},
  keywords  = {nfpc,slim,reveal}
}
Powered by bibtexbrowser