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 (Jun. 2004), R41. DOI:https://doi.org/10.37236/1794.