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