Pages that link to "Item:Q2855545"
From MaRDI portal
The following pages link to Computing the van der Waerden number \(W(3,4)=293\) (Q2855545):
Displaying 7 items.
- On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\) (Q400514) (← links)
- Some results on a class of mixed van der Waerden numbers (Q1657781) (← links)
- Computing the Ramsey number \(R(4,3,3)\) using abstraction and symmetry breaking (Q2398438) (← links)
- Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer (Q2818017) (← links)
- On computation of exact van der Waerden numbers (Q2898394) (← links)
- The van der Waerden Number<i>W</i>(2, 6) Is 1132 (Q3546251) (← links)
- (Q5033249) (← links)
