Herwig, P. R.; Heule, M.; van Lambalgen, P. M.; van Maaren, H. A New Method to Construct Lower Bounds for Van Der Waerden Numbers. Electron. J. Combin. 2007, 14, R6.