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

Full description

Saved in:

Bibliographic Details
Published in:	IEEE transactions on evolutionary computation Vol. 27; no. 3; pp. 535 - 549
Main Authors:	Awad, Ahmed, Hawash, Amjad, Abdalhaq, Baker
Format:	Journal Article
Language:	English
Published:	New York IEEE 01.06.2023 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!