Dransfield, M. R., Liu, L., Marek, V. W. and Truszczyński, M. (2004) “Satisfiability and Computing van der Waerden Numbers”, The Electronic Journal of Combinatorics, 11(1), p. R41. doi: 10.37236/1794.