Amit Metodi, R. Stern, Meir Kalech, Michael Codish. A Novel SAT-Based Approach to Model Based Diagnosis. J. Artif. Intell. Res. (JAIR), 51:377-411, 2014. [doi]
@article{MetodiSKC14,
title = {A Novel SAT-Based Approach to Model Based Diagnosis},
author = {Amit Metodi and R. Stern and Meir Kalech and Michael Codish},
year = {2014},
doi = {10.1613/jair.4503},
url = {http://dx.doi.org/10.1613/jair.4503},
researchr = {https://researchr.org/publication/MetodiSKC14},
cites = {0},
citedby = {0},
journal = {J. Artif. Intell. Res. (JAIR)},
volume = {51},
pages = {377-411},
}