TY  - RPRT
TI  - Satisfiability and computing van der Waerden numbers
AU  - Michael R. Dransfield
AU  - Victor W. Marek
AU  - Miroslaw Truszczynski
PY  - 2003
UR  - https://arxiv.org/abs/cs/0310064
ID  - cs/0310064
ER  -