On thin Boolean functions and related optimum OBDD ordering | IEEE Conference Publication | IEEE Xplore