# Efficient model based diagnosis with maximum satisfiability

> Research article (http://sat.inesc-id.pt/%7Eaign/publ/msjim-ijcai15a-preprint.pdf, 2015) · cited 31× · AI/ML

**Wikidata**: [openalex:W2261194965](https://www.wikidata.org/wiki/openalex:W2261194965)  
**Source**: https://4ort.xyz/entity/efficient-model-based-diagnosis-with-maximum-satisfiability