A Genetic Algorithm (GA) and Swarm-Based Binary Decision Diagram (BDD) Reordering Optimizer Reinforced With Recent Operators

The use of binary decision diagrams (BDDs) has proliferated in numerous fields. When a system criterion is formulated in form of a Boolean function, its BDD is constructed. Each node in the BDD is further mapped into another form to be exploited in the system analysis. However, the cost of the resul...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE transactions on evolutionary computation Jg. 27; H. 3; S. 535 - 549
Hauptverfasser:	Awad, Ahmed, Hawash, Amjad, Abdalhaq, Baker
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York IEEE 01.06.2023 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Schlagworte:	Binary decision diagram (BDD) Binary decision diagrams Boolean Boolean functions Complex systems Complexity Computational complexity Cost analysis Costs Exploitation genetic algorithm (GA) Genetic algorithms Heuristic algorithms Logic synthesis Operators (mathematics) Optimization Parameters Permutations Real numbers reordering algorithm swarm optimization Systems analysis
ISSN:	1089-778X, 1941-0026
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!