da Silva, R., L. M. Hvattum, and F. Glover. “Combining Solutions of the Optimum Satisfiability Problem Using Evolutionary Tunneling”. MENDEL, Vol. 26, no. 1, Aug. 2020, pp. 23-29, doi:10.13164/mendel.2020.1.023.