1. Bakker, R.R., Dikker, F., Tempelman, F., Wognum, P.: Diagnosing and Solving Over-Determined Constraint Satisfaction Problems. In: Proceedings of IJCAI 1993, pp. 276–281. Morgan Kaufmann (1993)
2. Lecture Notes in Computer Science;A. Belov,2012
3. Belov, A., Lynce, I., Marques-Silva, J.: Towards efficient MUS extraction. AI Commun. 25(2), 97–116 (2012)
4. Chinneck, J.W., Dravnieks, E.W.: Locating Minimal Infeasible Constraint Sets in Linear Programs. INFORMS Journal on Computing 3(2), 157–168 (1991)
5. Dellert, J.: Interactive Extraction of Minimal Unsatisfiable Cores Enhanced By Meta Learning. Diplomarbeit, Universität Tübingen (2013)