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