TY  - JOUR
AU  - Michael R. Dransfield
AU  - Lengning Liu
AU  - Victor W. Marek
AU  - Mirosław Truszczyński
TI  - Satisfiability and computing van der Waerden numbers
JO  - The electronic journal of combinatorics
PY  - 2004
VL  - 11
IS  - 1
UR  - http://geodesic.mathdoc.fr/articles/10.37236/1794/
DO  - 10.37236/1794
ID  - 10_37236_1794
ER  -