On the OBDD-representation of general Boolean functions | IEEE Journals & Magazine | IEEE Xplore