Advanced BDD Optimization - Ebendt, Rüdiger; Drechsler, Rolf; Ebendt, Rudiger; Fey, G?ªrschwin; Fey, Görschwin; Fey, Görschwin; Ebendt, RÃ¼diger; Fey, GÃ¶rschwin (Dordrecht Springer US, 2005)