Optimal constraint-preserving netlist simplification (2008)

by J Baumgartner, H Mony, A Aziz
Venue:in FMCAD