Research Catalog
Advanced BDD optimization
- Title
- Advanced BDD optimization / by Rüdiger Ebendt, Görschwin Fey and Rolf Drechsler.
- Author
- Ebendt, Rüdiger.
- Publication
- Dordrecht ; New York : Springer, [2005], ©2005.
Items in the Library & Off-site
Filter by
1 Item
Status | Format | Access | Call Number | Item Location |
---|---|---|---|---|
Text | Request in advance | T57.95 .E246 2005g | Off-site |
Holdings
Details
- Additional Authors
- Description
- x, 222 pages : illustrations; 25 cm
- Alternative Title
- Advanced binary decision diagram optimization
- Subject
- ISBN
- 0387254536 (hd.bd.)
- LCCN
- 9780387254531
- OCLC
- ocm60744503
- SCSB-5214003
- Owning Institutions
- Columbia University Libraries