TY  - BOOK
AU  - Ebendt,Rudiger
AU  - Fey,Gorschwin
AU  - Drechsler,Rolf
TI  - Advanced BDD optimization
SN  - 0387254536
PY  - 2005///
CY  - Dordrecht
PB  - Springer
KW  - Decision making
KW  - Mathematical models
KW  - Logic design
KW  - Mathematics
KW  - Decision trees
KW  - Algebra, Boolean
ER  -