"Satisfiability and Computing van der Waerden Numbers."

Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics