203 citations · 322 across the 18 of their papers we have counts for
Showing math.COShow all
2 papers · 1 filter
math.CO2014★ 8 cited
Bounds for variables with few occurrences in conjunctive normal forms
Oliver Kullmann, Xishun Zhao
We investigate connections between SAT (the propositional satisfiability problem) and combinatorics, around the minimum degree (number of occurrences) of variables in various forms…
math.CO2011★ 20 cited
On the van der Waerden numbers w(2;3,t)
Tanbir Ahmed, Oliver Kullmann, Hunter Snevily
We present results and conjectures on the van der Waerden numbers w(2;3,t) and on the new palindromic van der Waerden numbers pdw(2;3,t). We have computed the new number w(2;3,19)…