M. Mueller, “Polynomial Exact-3-SAT-Solving Algorithm”, IJET, vol. 9, no. 3, pp. 670–691, Aug. 2020, doi: 10.14419/ijet.v9i3.30749.