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