The van der Waerden NumberW(2, 6) Is 1132
From MaRDI portal
Publication:3546251
DOI10.1080/10586458.2008.10129025zbMath1151.05048OpenAlexW2056897909WikidataQ60015538 ScholiaQ60015538MaRDI QIDQ3546251
Publication date: 18 December 2008
Published in: Experimental Mathematics (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.em/1227031896
Related Items (16)
Expressing Symmetry Breaking in DRAT Proofs ⋮ On semi-progression van der Waerden numbers ⋮ Some results on a class of mixed van der Waerden numbers ⋮ A new lower bound for van der Waerden numbers ⋮ On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\) ⋮ Weak Schur numbers and the search for G. W. Walker's lost partitions ⋮ Computer-aided constructions of commafree codes ⋮ On the n-Color Weak Rado Numbers for the Equation x1+x2+⋯+xk+c=xk+1 ⋮ Unnamed Item ⋮ Optimal symmetry breaking for graph problems ⋮ The SAT+CAS method for combinatorial search with applications to best matrices ⋮ Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer ⋮ On orthogonal symmetric chain decompositions ⋮ A nonexistence certificate for projective planes of order ten with weight 15 codewords ⋮ A novel SAT solver for the van der Waerden numbers ⋮ On the Distribution of Monochromatic Complete Subgraphs and Arithmetic Progressions
This page was built for publication: The van der Waerden NumberW(2, 6) Is 1132
