Logic minimization algorithms for VLSI minimization (1985)

by R Brayton, G Hachtel, C McMullen, A SangiovanniVincentelli