A symbolic algorithm for maximum flow in 0-1 networks
Journal Article
Overview
publication date
- January 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 Journal
Other Profiles
International Standard Serial Number (ISSN)
- 0925-9856
Digital Object Identifier (DOI)
Additional Document Info
start page
- 207
end page
- 219
volume
- 10
issue
- 2-3