Dransfield MR, Liu L, Marek VW, Truszczyński M. Satisfiability and Computing van der Waerden Numbers. Electron. J. Combin. [Internet]. 2004Jun.16 [cited 2026Mar.27];11(1):R41. Available from: https://www.combinatorics.org/ojs/index.php/eljc/article/view/v11i1r41