# Are Short Proofs Narrow? QBF Resolution Is <i>Not</i> So Simple

> Research article (ACM Transactions on Computational Logic, 2017) · cited 13× · AI/ML

**Wikidata**: [openalex:W2778491775](https://www.wikidata.org/wiki/openalex:W2778491775)  
**Source**: https://4ort.xyz/entity/are-short-proofs-narrow-qbf-resolution-is-i-not-i-so-simple