Blar i Publikasjoner fra Cristin på tidsskrift "The MENDEL Soft Computing Journal : International Conference on Soft Computing MENDEL"
Viser treff 1-1 av 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 ...