An Improved Algorithm for the Construction of Decision Diagrams by Rearranging and Partitioning the Input Cube Set | IEEE Journals & Magazine | IEEE Xplore