da SilvaR., HvattumL. M. and GloverF. (2020) “Combining solutions of the optimum satisfiability problem using evolutionary tunneling”, MENDEL, 26(1), pp. 23-29. doi: 10.13164/mendel.2020.1.023.