A Characterization of Open Shop Scheduling Problems using the Hall Theorem and Network Flow