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