R. da Silva, L. M. Hvattum, and F. Glover, “Combining solutions of the optimum satisfiability problem using evolutionary tunneling”, mendel, vol. 26, no. 1, pp. 23-29, Aug. 2020.