Exact and heuristic algorithms for the minimization of incompletely specified state machines (1994)

by June-kyung Rho, Gary D. Hachtel, Fabio Somenzi, Reily M. Jacoby
Venue:IEEE Transactions on Computer-Aided Design