Guo, Mengyu. “Progress in the Study of the Boolean Satisfiability Problem”. International Journal of Computer Science and Information Technology 2, no. 2 (April 23, 2024): 217–225. Accessed May 5, 2026. https://wepub.org/index.php/IJCSIT/article/view/1558.