# Evaluating state-of-the-art # SAT solvers on industrial configuration spaces

> Research article (Empirical Software Engineering, 2023) · cited 30× · AI/ML

**Wikidata**: [openalex:W4315866202](https://www.wikidata.org/wiki/openalex:W4315866202)  
**Source**: https://4ort.xyz/entity/evaluating-state-of-the-art-sat-solvers-on-industrial-configuration-spaces