Login / Signup
Reversible Logic Synthesis Using Binary Decision Diagrams With Exploiting Efficient Reordering Operators.
Baker Abdalhaq
Ahmed Awad
Amjad Hawash
Published in:
IEEE Access (2020)
Keyphrases
</>
binary decision diagrams
logic synthesis
multi valued
symbolic model checking
low cost
boolean functions
database
artificial intelligence
image sequences
inductive learning