Erik R. Altman Guang R. Gao Ramaswamy Govindarajan An Experimental Study of an ILP-based Exact Solution Method for Software Pipelining. 16-30 1995 conf/lcpc/1995 LCPC db/conf/lcpc/lcpc1995.html#AltmanGG95