Silva, Flavio, Julio Cesar Vale Neves, Sergio Mariano, Luis Zarate, and Mark Song. 2020. “Hybrid Approach to Solve SAT and UNSAT Problems”. IEEE Latin America Transactions 18 (4):722-28. https://latamt.ieeer9.org/index.php/transactions/article/view/1687.