Logic minimization for factored forms.

Abdul A. Malik, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

Browse the full ICCD paper archive.