Fig. 3From: A novel SAT solver for the Van der Waerden numbersAn example of the superiority of NegVanSATBack to article page