Browsing Publikasjoner fra Cristin by Journals "The MENDEL Soft Computing Journal : International Conference on Soft Computing MENDEL"
Now showing items 1-1 of 1
-
Combining solutions of the optimum satisfiability problem using evolutionary tunneling
(Peer reviewed; Journal article, 2020)The optimum satisfiability problem involves determining values for Boolean vari- ables to satisfy a Boolean expression, while maximizing the sum of coefficients associated with the variables chosen to be true. Existing ...