Heuristic Minimization of MVL Functions: A Direct Cover Approach | IEEE Journals & Magazine | IEEE Xplore