Logic minimization algorithms for VLSI synthesis by Brayton, Robert King, Hachtel, Gary D., McMullen, Curtis T., Sangiovanni-Vincentelli, Alberto L. fromKluwer international series in engineering and computer sci… 0 Type: Book