MeMin: SAT-based Exact Minimization of Incompletely Specified Mealy Machines.

Andreas Abel, Jan Reineke

Browse the full ICCAD paper archive.