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

StatusFormatAccessCall NumberItem Location
TextRequest in advance T57.95 .E246 2005gOff-site

Holdings

Details

Additional Authors
  • Fey, Görschwin.
  • Drechsler, Rolf.
Description
x, 222 pages : illustrations; 25 cm
Alternative Title
Advanced binary decision diagram optimization
Subject
  • Decision making > Mathematical models
  • Decision trees
  • Logic design > Mathematics
  • Algebra, Boolean
ISBN
0387254536 (hd.bd.)
LCCN
9780387254531
OCLC
  • ocm60744503
  • SCSB-5214003
Owning Institutions
Columbia University Libraries