1. Cai, S., Su, K.: Configuration checking with aspiration in local search for SAT. In: Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 22–26 July 2012, Toronto, Ontario, Canada, pp. 434–440 (2012)
2. Console, L., Dressler, O.: Model-based diagnosis in the real world: lessons learned and challenges remaining. In: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 1999, Stockholm, Sweden, 31 July–6 August 1999, vols. 2, 1450 p., pp. 1393–1400 (1999)
3. Dai, S., Sun, H.: Computing conflict sets for model-based diagnosis. Control Theory Appl. 20(4), 630–632 (2003)
4. Fang, M.: A practical method to identify the minimal conflict sets. J. Hefei Univ. Technol. 22(1), 39–43 (1999)
5. Genesereth, M.R.: The use of design descriptions in automated diagnosis. Artif. Intell. 24(1–3), 411–436 (1984)