Heuristic Algorithm for Reducing Large Product-of-Sums Logical Expressions | IEEE Journals & Magazine | IEEE Xplore