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