# A Survey on Applications of Quantified Boolean Formulas

> Research article (2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI), 2019) · cited 53× · AI/ML

**Wikidata**: [openalex:W3006150593](https://www.wikidata.org/wiki/openalex:W3006150593)  
**Source**: https://4ort.xyz/entity/a-survey-on-applications-of-quantified-boolean-formulas