Mueller M. Polynomial Exact-3-SAT-Solving Algorithm. IJET [Internet]. 2020 Aug. 4 [cited 2026 Feb. 22];9(3):670-91. Available from: https://www.sciencepubco.com/index.php/IJET/article/view/30749