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)

• 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