On the Guidance of Reversible Logic Synthesis by Dynamic Variable Reordering | IEEE Conference Publication | IEEE Xplore