Michael R. Dransfield, Lengning Liu, Victor W. Marek, Miroslaw Truszczynski. Satisfiability and Computing van der Waerden Numbers. Electr. J. Comb., 11(1), 2004. [doi]
@article{DransfieldLMT04,
title = {Satisfiability and Computing van der Waerden Numbers},
author = {Michael R. Dransfield and Lengning Liu and Victor W. Marek and Miroslaw Truszczynski},
year = {2004},
url = {http://www.combinatorics.org/Volume_11/Abstracts/v11i1r41.html},
researchr = {https://researchr.org/publication/DransfieldLMT04},
cites = {0},
citedby = {0},
journal = {Electr. J. Comb.},
volume = {11},
number = {1},
}