M. R. Dransfield, L. Liu, V. W. Marek, and M. Truszczyński, “Satisfiability and Computing van der Waerden Numbers”, Electron. J. Combin., vol. 11, no. 1, p. R41, Jun. 2004.