1. Bacchus, F., Davies, J., Tsimpoukelli, M., Katsirelos, G.: Relaxation search: a simple way of managing optional clauses. In: AAAI 2014, pp. 835–841 (2014)
2. Lecture Notes in Computer Science;J Bailey,2005
3. Bakker, R.R., Dikker, F., Tempelman, F., Wognum, P.: Diagnosing and solving over-determined constraint satisfaction problems. In: IJCAI 1993, pp. 276–281 (1993)
4. Belov, A., Lynce, I., Marques-Silva, J.: Towards efficient MUS extraction. AI Commun. 2, 97–116 (2012)
5. Belov, A., Marques-Silva, J.: MUSer2: an efficient MUS extractor. In: JSAT 2012, pp. 123–128 (2012)