Silva, F., Neves, J. C. V., Mariano, S., Zarate, L. and Song, M. (2020) “Hybrid Approach to Solve SAT and UNSAT Problems”, IEEE Latin America Transactions, 18(4), pp. 722–728. Available at: https://latamt.ieeer9.org/index.php/transactions/article/view/1687 (Accessed: 26 April 2026).