# A Survey of Some Methods for Real Quantifier Elimination, Decision, and Satisfiability and Their Applications

> Research article (Mathematics in Computer Science, 2017) · cited 26× · AI/ML

**Wikidata**: [openalex:W2608023254](https://www.wikidata.org/wiki/openalex:W2608023254)  
**Source**: https://4ort.xyz/entity/a-survey-of-some-methods-for-real-quantifier-elimination-decision-and-satisfiability-and-their-applications