Dynamic Binary Decision Diagram Creation Using an Extended Apply Algorithm | IEEE Conference Publication | IEEE Xplore