A graph based algorithm for optimal buffer insertion under accurate delay models | IEEE Conference Publication | IEEE Xplore