da SilvaR., HvattumL. M., and GloverF. “Combining Solutions of the Optimum Satisfiability Problem Using Evolutionary Tunneling”. MENDEL, Vol. 26, no. 1, Aug. 2020, pp. 23-29, doi:10.13164/mendel.2020.1.023.