Comparing two-level and ordered binary decision diagram representations of logic functions | IEEE Journals & Magazine | IEEE Xplore