login
A303583
Van der Waerden numbers W(6,n).
1
32, 73, 206, 1132
OFFSET
3,1
REFERENCES
Knuth, Donald E., Satisfiability, Fascicle 6, volume 4 of The Art of Computer Programming. Addison-Wesley, 2015, page 5.
CROSSREFS
KEYWORD
nonn,more
AUTHOR
N. J. A. Sloane, May 13 2018
STATUS
approved