Combining solutions of the optimum satisfiability problem using evolutionary tunneling - da Silva, Rodrigo; Hvattum, Lars Magnus; Glover, Fred (MENDEL, 2020)