da Silva, R.; Hvattum, L. M.; Glover, F. Combining Solutions of the Optimum Satisfiability Problem Using Evolutionary Tunneling. mendel 2020, 26, 23-29.