Michael R. Dransfield Lengning Liu Victor W. Marek Miroslaw Truszczynski Satisfiability and Computing van der Waerden Numbers. 2004 11 Electr. J. Comb. 1 http://www.combinatorics.org/Volume_11/Abstracts/v11i1r41.html db/journals/combinatorics/combinatorics11.html#DransfieldLMT04