Mueller, Matthias. “Polynomial Exact-3-SAT-Solving Algorithm”. International Journal of Engineering and Technology 9, no. 3 (August 4, 2020): 670–691. Accessed May 22, 2025. https://mail.sciencepubco.com/index.php/IJET/article/view/30749.