# Expansion-based QBF solving versus Q-resolution

> Research article (Theoretical Computer Science, 2015) · cited 75× · AI/ML

**Wikidata**: [openalex:W2051846104](https://www.wikidata.org/wiki/openalex:W2051846104)  
**Source**: https://4ort.xyz/entity/expansion-based-qbf-solving-versus-q-resolution