da SilvaR., HvattumL. M., & GloverF. (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