An efficient heuristic approach to solve the unate covering problem | IEEE Journals & Magazine | IEEE Xplore