Global rebuilding of OBDD's avoiding memory requirement maxima | IEEE Journals & Magazine | IEEE Xplore