Efficient Binary Decision Diagram Manipulation by Reducing the Number of Intermediate Nodes | IEEE Conference Publication | IEEE Xplore