Logic Minimization Algorithms for VLSI Synthesis (1984)

by R K Brayton, G D Hachtel, C T McMullen, A Sangiovanni-Vincentelli