A symbolic algorithm for maximum flow in 0-1 networks.

Gary D. Hachtel, Fabio Somenzi

Browse the full ICCAD paper archive.