A new algorithm for the binate covering problem and its application to the minimization of Boolean relations.

Seh-Woong Jeong, Fabio Somenzi

Browse the full ICCAD paper archive.