19 citations · 23 across the 3 of their papers we have counts for
1 paper · 1 filter
Oliver Kullmann
Starting with Aharoni and Linial in 1986, the deficiency delta(F) = c(F) - n(F) >= 1 for minimally unsatisfiable clause-sets F, the difference of the number of clauses and the numb…