Satisfiability and Computing van der Waerden Numbers.

Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski

Browse the full SAT paper archive.