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