203 citations · 322 across the 18 of their papers we have counts for
Showing 2010 · cs.DMShow all
2 papers · 2 filters
cs.DM2010★ 11 cited
On variables with few occurrences in conjunctive normal forms
Oliver Kullmann, Xishun Zhao
We consider the question of the existence of variables with few occurrences in boolean conjunctive normal forms (clause-sets). Let mvd(F) for a clause-set F denote the minimal vari…
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…