Fig. 1From: A novel SAT solver for the Van der Waerden numbersConverting Van der Waerden number problem into SATBack to article page