Buffer insertion in large circuits with constructive solution search techniques | IEEE Conference Publication | IEEE Xplore