A. J. Kawu; G. M. Wajiga; Y. M. Malgwi; Mohammed, U. . Comparison of the Empirical Performance of Greedy, Hill Climb and Simulated Annealing Algorithms in GSAT Solver on DIMAC and Aloul Benchmarks. BIMA 2025, 8, 30-40.