On Computation of Exact van der Waerden Numbers

DOI10.1515/INTEG.2011.112zbMath1258.11011OpenAlexW2321598507WikidataQ60015541 ScholiaQ60015541MaRDI QIDQ2898394

Tanbir Ahmed

Publication date: 11 July 2012

Published in: Integers (Search for Journal in Brave)

Full work available at URL: http://www.integers-ejcnt.org/vol11.html

zbMATH Keywords

arithmetic progressionsvan der Waerden numbersSAT DPLL

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Ramsey theory (05D10) Arithmetic progressions (11B25)

Related Items (3)

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

This page was built for publication: On Computation of Exact van der Waerden Numbers