swMATH10844MaRDI QIDQ22798
No author found.
Source code repository: https://github.com/OKullmann/oklibrary/blob/master/Satisfiability/Solvers/TawSolver/tawSolver.cpp
