Size-Width Tradeoff

Hardness Characterisations and Size-Width Lower Bounds for QBF Resolution
We provide a tight characterisation of proof size in resolution for quantified Boolean formulas (QBF) via circuit complexity. Such a …
Cite DOI