Silva F, Neves JCV, Mariano S, Zarate L, Song M. Hybrid Approach to Solve SAT and UNSAT Problems. IEEE LAT AM T [Internet]. 2020 Apr. 16 [cited 2026 Apr. 26];18(4):722-8. Available from: https://latamt.ieeer9.org/index.php/transactions/article/view/1687