KGPMIN: an efficient multilevel multioutput AND-OR-XOR minimizer | IEEE Journals & Magazine | IEEE Xplore