Conference paperComplexity analysis and speedup techniques for optimal buffer insertion with minimum cost