19 citations · 23 across the 3 of their papers we have counts for
Showing cs.DMShow all
2 papers · 1 filter
cs.DM2016
Minimal unsatisfiability and deficiency: recent developments
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…
cs.DM2010★ 19 cited
Exact Ramsey Theory: Green-Tao numbers and SAT
Oliver Kullmann
We consider the links between Ramsey theory in the integers, based on van der Waerden's theorem, and (boolean, CNF) SAT solving. We aim at using the problems from exact Ramsey theo…