Exact algorithms for output encoding, state assignment, and four-level Boolean minimization | IEEE Journals & Magazine | IEEE Xplore