Equivalent Transformations of Structurally Synthesized BDDs and Applications | IEEE Conference Publication | IEEE Xplore