203 citations · 322 across the 18 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.DM2011
Constraint satisfaction problems in clausal form
Oliver Kullmann
This is the report-version of a mini-series of two articles on the foundations of satisfiability of conjunctive normal forms with non-boolean variables, to appear in Fundamenta Inf…
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)…