MEMIN: SAT-based exact minimization of incompletely specified Mealy machines | IEEE Conference Publication | IEEE Xplore