1. Network Flows: Theory, Algorithms, and Applications;Ahuja,1993
2. Two theorems in graph theory;Berge;Proc. Natl. Acad. Sci. USA,1957
3. Exponential space complexity for OBDD-based reachability analysis;Bollig;Inform. Process. Lett.,2010
4. Exponential space complexity for symbolic maximum flow algorithms in 0–1 networks;Bollig,2010
5. On symbolic OBDD-based algorithms for the minimum spanning tree problem;Bollig,2010