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