tawSolver

swMATH10844MaRDI QIDQ22798FDOQ22798

Author name not available (Why is that?)

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 (16)

• 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
• Some results on a class of mixed van der Waerden numbers
• Lynx
• MathCheck
• A note on the mixed van der Waerden number
• OKlibrary
• CnC
• Computing the van der Waerden number \(W(3,4)=293\)
• 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