Strong (D)QBF Dependency Schemes via Implication-free Resolution Paths

Beyersdorff, Olaf; Blinkhorn, Joshua; Peitl, Tomáš

by Olaf Beyersdorff, Joshua Blinkhorn, Tomáš Peitl

Reference:

Strong (D)QBF Dependency Schemes via Implication-free Resolution PathsOlaf Beyersdorff, Joshua Blinkhorn, Tomáš PeitlElectron. Colloquium Comput. Complex., pages 135, 2021.

Bibtex Entry:

@article{BeyersdorffBlinkhornPeitl21,
  author    = {Olaf Beyersdorff and
               Joshua Blinkhorn and
               Tom{\'{a}}\v{s} Peitl},
  title     = {Strong {(D)QBF} Dependency Schemes via Implication-free Resolution
               Paths},
  journal   = {Electron. Colloquium Comput. Complex.},
  pages     = {135},
  year      = {2021},
  url       = {https://eccc.weizmann.ac.il/report/2021/135},
  timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/eccc/BeyersdorffBP21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}