Satisfiability and computing van der Waerden numbers

Michael R. Dransfield, Victor W. Marek, Miroslaw Truszczynski

In this paper we bring together the areas of combinatorics and propositional satisfiability. Many combinatorial theorems establish, often constructively, the existence of positive…