Silva, F., J. C. V. Neves, S. Mariano, L. Zarate, and M. Song. “Hybrid Approach to Solve SAT and UNSAT Problems”. IEEE Latin America Transactions, vol. 18, no. 4, Apr. 2020, pp. 722-8, https://latamt.ieeer9.org/index.php/transactions/article/view/1687.