ByNobleID
    iRetILP: an efficient incremental algorithm for min-period retiming under general delay model | NobleID