tawSolver
From MaRDI portal
Software:22798
swMATH10844MaRDI QIDQ22798FDOQ22798
Author name not available (Why is that?)
Source code repository: https://github.com/OKullmann/oklibrary/blob/master/Satisfiability/Solvers/TawSolver/tawSolver.cpp
Cited In (12)
- On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\)
- Projection heuristics for binary branchings between sum and product
- Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
- Title not available (Why is that?)
- A machine program for theorem-proving
- Some results on a class of mixed van der Waerden numbers
- Computing the van der Waerden number \(W(3,4)=293\)
- A nonexistence certificate for projective planes of order ten with weight 15 codewords
- Constraint satisfaction problems in clausal form. II: Minimal unsatisfiability and conflict structure
- The SAT+CAS method for combinatorial search with applications to best matrices
- New lower bounds for van der Waerden numbers
- Title not available (Why is that?)
This page was built for software: tawSolver
