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

by J-K Rho, G D Hachtel, F Somenzi, R M Jacoby
Venue:IEEE Trans. Comput.-Aided Design Integr. Circuits Syst