da Silva, Rodrigo, Lars Magnus Hvattum, and Fred Glover. 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.