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 (Apr. 2020), 722–728.