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

Overview

CU Boulder Authors

• Somenzi, Fabio

publication date

• April 1, 1997

has restriction

• closed

Date in CU Experts

• September 6, 2013 12:30 PM

Full Author List

• Hachtel GD; Somenzi F

author count

• 2

citation count

• 41

published in

• Formal Methods in System Design 

Other Profiles

International Standard Serial Number (ISSN)

• 0925-9856

Digital Object Identifier (DOI)

• https://doi.org/10.1023/a:1008651924240

Additional Document Info

start page

• 207

end page

• 219

volume

• 10

issue

• 2-3