1. Liffiton, M.H., Sakallah, K.A.: Algorithms for computing minimal unsatisfiable subsets of constraints. J. Autom. Reasoning 40(1), 1–33 (2008)
2. Nadel, A.: Boosting minimal unsatisfiable core extraction. In: Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20–23, pp. 221–229 (2010)
3. Lecture Notes in Computer Science;A Belov,2013
4. Lecture Notes in Computer Science;A Belov,2013
5. Belov, A., Marques-Silva, J.: Generalizing redundancy in propositional logic: Foundations and hitting sets duality. CoRR, abs/1207.1257 (2012)