A Comparative Analysis of Binary Decision Diagram Reordering Algorithms for Reversible Circuit Synthesis | IEEE Conference Publication | IEEE Xplore