Sprecher, Arno; Drexl, Andreas - 1996
feasible ones. The enumeration is oftenly reduced to the dominant set of semi-active schedules by checking feasibility of local … not properly done, does not, as claimed in the literature, reduce the enumeration to the set of semi-active schedules. …
