Symbolic minimization of multilevel logic and the input encoding problem | IEEE Journals & Magazine | IEEE Xplore