19 citations · 23 across the 3 of their papers we have counts for
1 paper · 1 filter
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…