TY  - BOOK
AU  - Ebendt, Rudiger
AU  - Fey, Gorschwin
TI  - Advanced BDD optimization
SN  - 9780387254531
U1  - 511.8 
PY  - 2005///
CY  - Dordrecht
PB  - Springer
KW  - Decision making -- Mathematical models
KW  - Decision trees
KW  - Logic design
ER  -