Algorithm for restructuring of structurally synthesized BDDsJürimägi, Lembit; Ubar, Raimund-Johannes2019 IEEE 31st International Conference on Microelectronics : Niš, Serbia September 16th-18th, 2019 : proceedings2019 / p. 239-242 : ill https://doi.org/10.1109/MIEL.2019.8889578