Freeze: engineering a fast repeater insertion solver for power minimization using the ellipsoid method | IEEE Conference Publication | IEEE Xplore