Satisfiability and computing van der Waerden numbers. Dransfield, Michael R.; Liu, Lengning; Marek, Victor W.; Truszczyński, Mirosław — 2004 The Electronic Journal of Combinatorics [electronic only]