# Configuring Software Product Lines by Combining Many-Objective Optimization and SAT Solvers

> Research article (ACM Transactions on Software Engineering and Methodology, 2017) · cited 84× · AI/ML

**Wikidata**: [openalex:W2789351846](https://www.wikidata.org/wiki/openalex:W2789351846)  
**Source**: https://4ort.xyz/entity/configuring-software-product-lines-by-combining-many-objective-optimization-and-sat-solvers