Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF

Fichte, Johannes Klaus; Ganian, Robert; Hecher, Markus; Slivovsky, Friedrich; Ordyniak, Sebastian

doi:10.1109/LICS56636.2023.10175675

by Johannes Klaus Fichte, Robert Ganian, Markus Hecher, Friedrich Slivovsky, Sebastian Ordyniak

Reference:

Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBFJohannes Klaus Fichte, Robert Ganian, Markus Hecher, Friedrich Slivovsky, Sebastian OrdyniakLICS, pages 1–14, 2023.

Bibtex Entry:

@inproceedings{FGHSO23,
  author       = {Johannes Klaus Fichte and
                  Robert Ganian and
                  Markus Hecher and
                  Friedrich Slivovsky and
                  Sebastian Ordyniak},
  title        = {Structure-Aware Lower Bounds and Broadening the Horizon of Tractability
                  for {QBF}},
  booktitle    = {{LICS}},
  pages        = {1--14},
  year         = {2023},
 keywords = {ParAI},
  url          = {10.1109/LICS56636.2023.10175675">https://doi.org/10.1109/LICS56636.2023.10175675},
  doi          = {10.1109/LICS56636.2023.10175675},
  timestamp    = {Thu, 20 Jul 2023 11:32:59 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/FichteGHSO23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}