da Silva R, Hvattum LM, Glover F. Combining solutions of the optimum satisfiability problem using evolutionary tunneling. mendel [Internet]. 24Aug.2020 [cited 26Dec.2024];26(1):23-9. Available from: http://eshop-drevopraha.test.infv.eu/index.php/mendel/article/view/106