# An SMT-based approach to automated configuration

> Research article (EPiC series in computing, 2018) · cited 11× · AI/ML

**Wikidata**: [openalex:W2249179973](https://www.wikidata.org/wiki/openalex:W2249179973)  
**Source**: https://4ort.xyz/entity/an-smt-based-approach-to-automated-configuration