New Lower Bounds for Van der Waerden Numbers
Combinatorics
2020-10-28 v5
Abstract
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 Waerden W( 7, 3 ), W( 8, 3 ), W( 10, 3 ), W( 11, 3 ), W( 17, 3 ).
Cite
@article{arxiv.1701.05603,
title = {New Lower Bounds for Van der Waerden Numbers},
author = {Alexey V. Komkov},
journal= {arXiv preprint arXiv:1701.05603},
year = {2020}
}