da Silva, R., Hvattum, L. M. and Glover, F. (2020) “Combining solutions of the optimum satisfiability problem using evolutionary tunneling”, MENDEL, 26(1), pp. 23-29. doi: 10.13164/mendel.2020.1.023.