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