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