Dransfield, M. R., L. Liu, V. W. Marek, and M. Truszczyński. “Satisfiability and Computing Van Der Waerden Numbers”. The Electronic Journal of Combinatorics, Vol. 11, no. 1, June 2004, p. R41, doi:10.37236/1794.