Browsing Publikasjoner fra Cristin by Author "Glover, Fred"
Now showing items 1-1 of 1
-
Combining solutions of the optimum satisfiability problem using evolutionary tunneling
da Silva, Rodrigo Ferreira; Hvattum, Lars Magnus; Glover, Fred (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 ...