@BOOK{ Book!D - 101002936,
AUTHOR = "/ by Rudiger Ebendt, Gorschwin Fey and Rolf Drechsler., Ebendt, Rudiger.",
TITLE = "Advanced BDD optimization",
LIBRARY= "كتابخانه پردیس علوم (دانشگاه تهران)",
SUBJECT = " Decision making--Mathematical models., Decision trees., Logic design--Mathematics., Algebra, Boolean.",
URL = "/book/101002936/Advanced-BDD-optimization/"}