A.J. KAWU; G. M. WAJIGA; Y. M. MALGWI. Comparison of the Empirical Performance of Minisat and GSAT Solvers on SATLIB Benchmark. BIMA JOURNAL OF SCIENCE AND TECHNOLOGY (2536-6041), [S. l.], v. 8, n. 1B, p. 197-205, 2024. DOI: 10.56892/bima.v8i1.626. Disponível em: https://journals.gjbeacademia.com/index.php/bimajst/article/view/626. Acesso em: 3 feb. 2025.