scientific article

zbMath1283.05261MaRDI QIDQ2855545

Michal Kouril

Publication date: 25 October 2013

Full work available at URL: http://www.emis.de/journals/INTEGERS/papers/m46/m46.Abstract.html

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

coloringFPGAhigh-performance computingmonochromatic arithmetic progressionvan der Waerden number

Mathematics Subject Classification ID

Combinatorics in computer science (68R05) Ramsey theory (05D10) Arithmetic progressions (11B25)

Related Items (5)

Some results on a class of mixed van der Waerden numbers ⋮ Computing the Ramsey number \(R(4,3,3)\) using abstraction and symmetry breaking ⋮ On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\) ⋮ Unnamed Item ⋮ Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer

Uses Software

• tawSolver

This page was built for publication: