A Swarm based Binary Decision Diagram (BDD) Reordering Optimizer for Reversible Circuit Synthesis.

Baker Abdalhaq Ahmed Awad Amjad Hawash

Published in: DTIS (2020)

Keyphrases

binary decision diagrams
boolean functions
swarm intelligence
particle swarm optimization
planning problems
model checking
decision diagrams
optimization algorithm
knowledge compilation
search space
general purpose
boolean formula