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 February 15, 2025. https://latamt.ieeer9.org/index.php/transactions/article/view/1687.