Zhou, H., Ouyang, D., Zhao, X. and Zhang, L. 2022. Two Compacted Models for Efficient Model-Based Diagnosis. Proceedings of the AAAI Conference on Artificial Intelligence. 36, 4 (Jun. 2022), 3885-3893. DOI:https://doi.org/10.1609/aaai.v36i4.20304.