View of Satisfiability and Computing van der Waerden Numbers | The Electronic Journal of Combinatorics