Logic Minimization Algorithmsfor VLSI synthesis (1984)

by R K Brayton, G D Hachtel, C T McMullen, A L SangiovanniVincentelli