[1]
Feldman, A., Pill, I., Wotawa, F., Matei, I. and de Kleer, J. 2020. Efficient Model-Based Diagnosis of Sequential Circuits. Proceedings of the AAAI Conference on Artificial Intelligence. 34, 03 (Apr. 2020), 2814-2821. DOI:https://doi.org/10.1609/aaai.v34i03.5670.