DRANSFIELD, M. R.; LIU, L.; MAREK, V. W.; TRUSZCZYŃSKI, M. Satisfiability and Computing van der Waerden Numbers. The Electronic Journal of Combinatorics, v. 11, n. 1, p. R41, 16 Jun. 2004.