tawSolver

MaRDI QIDQ22798swMATHFDO

Official website https://github.com/OKullmann/oklibrary/blob/master/Satisfiability/Solvers/TawSolver/tawSolver.cpp

Source code repository https://github.com/OKullmann/oklibrary/blob/master/Satisfiability/Solvers/TawSolver/tawSolver.cpp

Cited in

(17)

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

This page was built for software: tawSolver