Detecting multiphase linear ranking functions for single-path linear-constraint loops
Crossref DOI link: https://doi.org/10.1007/s10009-019-00527-1
Published Online: 2019-07-24
Published Print: 2021-02
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Yuan, Yue
Li, Yi
Shi, Wenchang
Text and Data Mining valid from 2019-07-24
Version of Record valid from 2019-07-24
Article History
First Online: 24 July 2019