Ayala, Maria; Benabid, Abir; Artigues, Christian; … - In: Computational Optimization and Applications 54 (2013) 3, pp. 645-673
decomposed software pipeling method to obtain a good retiming. Then the obtained retiming is used to build an integer linear … programming formulation of reduced size, which allows to solve it exactly. Experimental results show that a lot more problems are …