Algorithms for core stability, core largeness, exactness, and extendability of flow games