An optimal algorithm for sizing sequential circuits for industrial library based designs. - Sanghamitra Roy; Yu Hen Hu; Charlie Chung-Ping Chen; Shih-Pin Hung; Tse-Yu Chiang; Jiuan-Guei Tseng (ASP-DAC, 2008)