login
A303582
Van der Waerden numbers W(5,n).
1
22, 55, 178, 206, 260
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