da SilvaR.; HvattumL. M.; GloverF. Combining solutions of the optimum satisfiability problem using evolutionary tunneling. MENDEL, v. 26, n. 1, p. 23-29, 24 ago. 2020.