1. Reiter R (1987) A theory of diagnosis from first principles. Artif Intell 32(1):57–95
2. Feldman A, Provan GM, Van Gemund AJC (2008) Computing minimal diagnoses by greedy stochastic search. Proceedings of the Twenty-second AAAI Conference on Artificial Intelligence 8:911–918
3. Siddiqi SA, Huang J (2007) Hierarchical diagnosis of multiple faults. Proceedings of the sixteenth international joint conference on artificial intelligence, pp 581–586
4. Jannach D, Schmitz T, Shchekotykhin KM (2015) Parallelized hitting set computation for model-based diagnosis. Proceedings of the Twenty-ninth AAAI Conference on Artificial Intelligence 15:1503–1510
5. Ansótegui C, Bonet ML, Levy J (2013) SAT-based MaxSAT algorithms. Artif Intell 196:77–105