Two New Van Der Waerden Numbers: w(2; 3, 17) and w(2; 3, 18)

DOI10.1515/INTEG.2010.032zbMath1243.11008WikidataQ60015539 ScholiaQ60015539MaRDI QIDQ4933451

Tanbir Ahmed

Publication date: 13 October 2010

Published in: Integers (Search for Journal in Brave)

zbMATH Keywords

SATvan der Waerden numbersDPLL

Mathematics Subject Classification ID

Other combinatorial number theory (11B75) Arithmetic progressions (11B25)

Related Items (4)

Some results on a class of mixed van der Waerden numbers ⋮ On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\) ⋮ Unnamed Item ⋮ A novel SAT solver for the van der Waerden numbers

This page was built for publication: Two New Van Der Waerden Numbers: w(2; 3, 17) and w(2; 3, 18)