Silva, F., Neves, J. C. V., Mariano, S., Zarate, L., & Song, M. (2020). Hybrid Approach to Solve SAT and UNSAT Problems. IEEE Latin America Transactions, 18(4), 722–728. Retrieved from https://latamt.ieeer9.org/index.php/transactions/article/view/1687