Cited in
(17)- On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\)
- DRABT
- Projection heuristics for binary branchings between sum and product
- Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
- A machine program for theorem-proving
- Some more van der Waerden numbers
- kcnfs
- Lynx
- MathCheck
- OKlibrary
- CnC
- Some results on a class of mixed van der Waerden numbers
- Computing the van der Waerden number \(W(3,4)=293\)
- A note on the mixed van der Waerden number
- A nonexistence certificate for projective planes of order ten with weight 15 codewords
- The SAT+CAS method for combinatorial search with applications to best matrices
- New lower bounds for van der Waerden numbers
This page was built for software: tawSolver
