da Silva, Rodrigo, Lars Magnus Hvattum, and Fred Glover. “Combining Solutions of the Optimum Satisfiability Problem Using Evolutionary Tunneling”. MENDEL 26, no. 1 (August 24, 2020): 23-29. Accessed October 6, 2024. http://data.praguesounds.com/index.php/mendel/article/view/106.