M. Guo, “Progress in the Study of the Boolean Satisfiability Problem”, IJCSIT, vol. 2, no. 2, pp. 217–225, Apr. 2024, doi: 10.62051/ijcsit.v2n2.25.