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 (Institute of Automation and Computer Science, Brno University of Technology, 2020-08-24)
    The optimum satisfiability problem involves determining values for Boolean variables to satisfy a Boolean expression, while maximizing the sum of coefficients associated with the variables chosen to be true. Existing ...