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