Dransfield, Michael R., Lengning Liu, Victor W. Marek, and Mirosław Truszczyński. “Satisfiability and Computing Van Der Waerden Numbers”. The Electronic Journal of Combinatorics 11, no. 1 (June 16, 2004): R41. Accessed March 27, 2026. https://www.combinatorics.org/ojs/index.php/eljc/article/view/v11i1r41.