1. Audemard G, Lagniez JM, Mazure B, Saïs L (2010) Boosting local search thanks to CDCL. In: Proceedings of the 17th international conference on logic for programming, artificial intelligence and reasoning (LPAR’2010), lecture notes in computer science, vol 6397. Springer-Verlag, Berlin, pp 474–488
2. Bakker RR, Dikker F, Tempelman F, Wognum PM (1993) Diagnosing and solving over-determined constraint satisfaction problems. In: Proceedings of the 13th international joint conference on artificial intelligence (IJCAI’93), vol 1. AAAI Press/International Joint Conferences on Artificial Intelligence, Menlo Park, pp 276–281. citeseer.ist.psu.edu/bakker93diagnosing.html
3. Belov A, Lynce I, Marques-Silva J (2012) Towards efficient MUS extraction. AI Commun 25:97–116
4. Belov A, Marques-Silva J (2011) Accelerating MUS extraction with recursive model rotation. In: Proceedings of the international conference on formal methods in computer-aided design (FMCAD’2011)
5. Belov A, Marques-Silva J. (2012) MUSer2 An efficient MUS extractor, system description. J Satisfiability Boolean Model Comput JSAT 8:123–128