Mueller, M. Polynomial Exact-3-SAT-Solving Algorithm. IJET 2020, 9 (3), 670-691. https://doi.org/10.14419/ijet.v9i3.30749.