Dransfield, Michael R., Lengning Liu, Victor W. Marek, and Mirosław Truszczyński. 2004. “Satisfiability and Computing Van Der Waerden Numbers”. The Electronic Journal of Combinatorics 11 (1), R41. https://doi.org/10.37236/1794.