F. Silva, J. C. V. Neves, S. Mariano, L. Zarate, and M. Song, “Hybrid Approach to Solve SAT and UNSAT Problems”, IEEE LAT AM T, vol. 18, no. 4, pp. 722–728, Apr. 2020.