A Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems
1996 ◽
Vol 29
(4)
◽
pp. 462-472
◽
1987 ◽
Vol 7
(4)
◽
pp. 443-457
◽
1999 ◽
Vol 59
(1-3)
◽
pp. 43-52
◽