A symbolic algorithm for maximum flow in 0-1 networks
Journal Article
Overview
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)
Additional Document Info
start page
- 207
end page
- 219
volume
- 10
issue
- 2-3