A symbolic algorithm for maximum flow in 0-1 networks Journal Article

Overview

CU Boulder Authors

• Somenzi, Fabio

publication date

• April 1, 1997

Full Author List

• Hachtel GD; Somenzi F

published in

• Formal Methods in System Design  Journal

Other Profiles

Digital Object Identifier (DOI)

• 10.1023/A:1008651924240

Additional Document Info

start page

• 207

end page

• 219

volume

• 10

issue

• 2-3