An algorithm for total symmetric OBDD detection | IEEE Journals & Magazine | IEEE Xplore