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