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