collaborators

1 paper

math.CO2017

New Lower Bounds for Van der Waerden Numbers

Alexey V. Komkov

This work contains certificates numbers Van der Waerden, was found using SAT Solver. These certificates establish the best currently known lower bounds of the numbers Van der Waerd…