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 h...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Mendel (Brno (Czech Republic)) Jg. 26; H. 1; S. 23 - 29
Hauptverfasser:	da Silva, Rodrigo Ferreira, Hvattum, Lars Magnus, Glover, Fred
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Brno University of Technology 01.08.2020
Schlagworte:	adaptive memory programming boolean optimization metaheuristic recombination operator tabu search zero-one integer programming
ISSN:	1803-3814, 2571-3701
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!