P. R. Herwig, M. Heule, P. M. van Lambalgen, and H. van Maaren, “A New Method to Construct Lower Bounds for Van der Waerden Numbers”, Electron. J. Combin., vol. 14, no. 1, p. R6, Jan. 2007.