Complexity analysis and speedup techniques for optimal buffer insertion with minimum costWeiping ShiZhuo Liet al.2004ASP-DAC 2004