Fig. 2From: A novel SAT solver for the Van der Waerden numbersNegVanSAT Vs MINISAT in the restartsBack to article page