On variable ordering of binary decision diagrams for the application of multi-level logic synthesis | IEEE Conference Publication | IEEE Xplore