A symbolic algorithm for maximum flow in 0-1 networks | IEEE Conference Publication | IEEE Xplore