Ordered binary decision diagrams and circuit structure | IEEE Conference Publication | IEEE Xplore