Analysis and algorithms for restart | IEEE Conference Publication | IEEE Xplore