Advanced BDD optimization
Title
: 
Advanced BDD optimization

Personal Author
: 
Ebendt, Rudiger

Publication Information
: 
Dordrecht, The Netherlands : Springer, 2005

ISBN
: 
9780387254531

Subject Term
: 
Decision-making -- Mathematical models
 
Decision trees
 
Logic design -- Mathematics
 
Algebra, Boolean

Added Author
: 
Fey, Gorschwin
 
Drechsler, Rolf


LibraryItem BarcodeCall NumberMaterial TypeItem Category 1
PSZ JB30000010093310T57.95 E23 2005Open Access BookBook