A Dynamic-programming Technique For Compacting Loops | IEEE Conference Publication | IEEE Xplore