@article{10_37236_1794,
     author = {Michael R. Dransfield and Lengning Liu and Victor W. Marek and Miros{\l}aw Truszczy\'nski},
     title = {Satisfiability and computing van der {Waerden} numbers},
     journal = {The electronic journal of combinatorics},
     year = {2004},
     volume = {11},
     number = {1},
     doi = {10.37236/1794},
     zbl = {1054.05097},
     url = {http://geodesic.mathdoc.fr/articles/10.37236/1794/}
}