A. J. Kawu, G. M. Wajiga, Y. M. Malgwi, and U. . Mohammed. “Comparison of the Empirical Performance of Greedy, Hill Climb and Simulated Annealing Algorithms in GSAT Solver on DIMAC and Aloul Benchmarks”. BIMA JOURNAL OF SCIENCE AND TECHNOLOGY (2536-6041), vol. 8, no. 4B, Jan. 2025, pp. 30-40, doi:10.56892/bima.v8i4B.1166.