Dransfield, M. R.; Liu, L.; Marek, V. W.; Truszczyński, M. Satisfiability and Computing Van Der Waerden Numbers. Electron. J. Combin. 2004, 11, R41.