203 citations · 322 across the 18 of their papers we have counts for
1 paper · 1 filter
Oliver Kullmann, Edward Clewer
We present a study of minimal unsatisfiable subsets (MUSs) of 2-CNF Boolean formulas, building on the Abbasizanjani-Kullmann classification of minimally unsatisfiable 2-CNFs (2-MUs…