A.J. Kawu, G. M. Wajiga, & 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), 197-205. https://doi.org/10.56892/bima.v8i1.626