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}
}