# Constraint-based and SAT-based diagnosis of automotive configuration problems

> Research article (Journal of Intelligent Information Systems, 2016) · cited 16× · AI/ML

**Wikidata**: [openalex:W2470483462](https://www.wikidata.org/wiki/openalex:W2470483462)  
**Source**: https://4ort.xyz/entity/constraint-based-and-sat-based-diagnosis-of-automotive-configuration-problems