OBDD minimization based on two-level representation of Boolean functions | IEEE Journals & Magazine | IEEE Xplore