A Symbolic Algorithms for Maximum Flow in 0-1 Networks.

Gary D. Hachtel Fabio Somenzi

Published in: Formal Methods Syst. Des. (1997)

Keyphrases

maximum flow
push relabel
worst case
flow network
social networks
image processing
directed graph
minimum cut
directed networks