%0 Journal Article
%A Michael R. Dransfield
%A Lengning Liu
%A Victor W. Marek
%A Mirosław Truszczyński
%T Satisfiability and computing van der Waerden numbers
%J The electronic journal of combinatorics
%D 2004
%V 11
%N 1
%U http://geodesic.mathdoc.fr/articles/10.37236/1794/
%R 10.37236/1794
%F 10_37236_1794