Generating Test Examples for Heuristic Boolean Minimization | IBM Journals & Magazine | IEEE Xplore