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 (Apr. 2024), 197-205. DOI:https://doi.org/10.56892/bima.v8i1.626.