Mueller, M. 2020. Polynomial Exact-3-SAT-Solving Algorithm. International Journal of Engineering & Technology. 9, 3 (Aug. 2020), 670–691. DOI:https://doi.org/10.14419/ijet.v9i3.30749.