Combining solutions of the optimum satisfiability problem using evolutionary tunneling

Combining solutions of the optimum satisfiability problem using evolutionary tunneling

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 literature has identified a tabu search heuristic as the best method to deal with...

Full description

Bibliographic Details
Main Authors: Rodrigo Ferreira da Silva, Lars Magnus Hvattum, Fred Glover
Format: Article
Language:English
Published: Brno University of Technology 2020-08-01
Series:Mendel
Subjects:
zero-one integer programming
boolean optimization
metaheuristic
tabu search
adaptive memory programming
recombination operator
Online Access:https://mendel-journal.org/index.php/mendel/article/view/106

Internet

https://mendel-journal.org/index.php/mendel/article/view/106

Similar Items