Guo M. Progress in the Study of the Boolean Satisfiability Problem. IJCSIT [Internet]. 2024 Apr. 23 [cited 2026 May 5];2(2):217-25. Available from: https://wepub.org/index.php/IJCSIT/article/view/1558