Equivalent Transformations of Structurally Synthesized BDDs and Applications

Lembit Jürimägi, Raimund Ubar, Vladimir Viies. Equivalent Transformations of Structurally Synthesized BDDs and Applications. In 8th Mediterranean Conference on Embedded Computing, MECO 2019, Budva, Montenegro, June 10-14, 2019. pages 1-6, IEEE, 2019. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: