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 GOMBE, [S. l.], v. 8, n. 1B, p. 197-205, 2024. DOI: 10.56892/bima.v8i1.626. Disponível em: https://journal-academia.com/Ojs/index.php/bimajst/article/view/626. Acesso em: 3 oct. 2025.