A.J. Kawu, G. M. Wajiga, and Y. M. Malgwi. “Comparison of the Empirical Performance of Minisat and GSAT Solvers on SATLIB Benchmark”. BIMA JOURNAL OF SCIENCE AND TECHNOLOGY (2536-6041), vol. 8, no. 1B, Apr. 2024, pp. 197-05, doi:10.56892/bima.v8i1.626.