A.J. Kawu, G. M. Wajiga, and Y. M. Malgwi. “Comparison of the Empirical Performance of Minisat and GSAT Solvers on SATLIB Benchmark”. BIMA JOURNAL OF SCIENCE AND TECHNOLOGY (2536-6041) 8, no. 1B (April 22, 2024): 197-205. Accessed February 3, 2025. https://journals.gjbeacademia.com/index.php/bimajst/article/view/626.