On the Parameterized Complexity of Finding Small Unsatisfiable Subsets of CNF Formulas and CSP Instances
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):
2007 ◽
Vol 104
(3)
◽
pp. 79-85
◽
2004 ◽
Vol 43
(1-4)
◽
pp. 223-238
◽
Keyword(s):