# Proof Complexity of Resolution-based QBF Calculi

> Research article (DROPS (Schloss Dagstuhl – Leibniz Center for Informatics), 2015) · cited 51× · AI/ML

**Wikidata**: [openalex:W1852359712](https://www.wikidata.org/wiki/openalex:W1852359712)  
**Source**: https://4ort.xyz/entity/proof-complexity-of-resolution-based-qbf-calculi