Quantified Boolean Formulas

Hardness Characterisations and Size-Width Lower Bounds for QBF Resolution
ACM Transactions on Computational Logic, sep 2022, Association for Computing Machinery.
bib DOI