A survey of optimization techniques for integrated-circuit design (1981)

by R K Brayton, G D Hachtel, A L Sangiovanni-Vincentelli
Venue:Proc. IEEE