Grégoire, Éric; Mazure, Bertrand; Piette, Cédric - In: European Journal of Operational Research 199 (2009) 3, pp. 640-646
In this paper, a new complete technique to compute Maximal Satisfiable Subsets (MSSes) and Minimally Unsatisfiable Subformulas (MUSes) of sets of Boolean clauses is introduced. The approach improves the currently most efficient complete technique in several ways. It makes use of the powerful...