Algorithm for Restructuring of Structurally Synthesized BDDs | IEEE Conference Publication | IEEE Xplore