1. SAT-based MaxSAT algorithms;Ansótegui;Artif. Intell.,2013
2. Approximating MIN 2-SAT and MIN 3-SAT;Avidor;Theory Comput. Syst.,2005
3. F. Bacchus, J. Davies, M. Tsimpoukelli, G. Katsirelos, Relaxation search: a simple way of managing optional clauses, in: [27], 2014, pp. 835–841.
4. Using minimal correction sets to more efficiently compute minimal unsatisfiable sets;Bacchus,2015
5. Discovery of minimal unsatisfiable subsets of constraints using hitting set dualization;Bailey,2005