Silva, F.; Neves, J. C. V.; Mariano, S.; Zarate, L.; Song, M. Hybrid Approach to Solve SAT and UNSAT Problems. IEEE LAT AM T 2020, 18, 722-728.