MINI: A Heuristic Approach for Logic Minimization | IBM Journals & Magazine | IEEE Xplore