19 citations · 23 across the 3 of their papers we have counts for
3 papers
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.CC2014★ 4 cited
A framework for good SAT translations, with applications to CNF representations of XOR constraints
Matthew Gwynne, Oliver Kullmann
We present a general framework for good CNF-representations of boolean constraints, to be used for translating decision problems into SAT problems (i.e., deciding satisfiability fo…
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…