he proposes backwards scheduling from the sink to the sources inside each function. I don't know how much complexity is that (because np-complete is not that ba

he proposes backwards scheduling from the sink to the sources inside each function. I don't know how much complexity is that (because np-complete is not that bad when n is low)