Blar i Brage HiM på forfatter "Glover, Fred"
-
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 ...