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]
Abstract is missing.