Advanced BDD Optimization - Ebendt, Rüdiger; Fey, Görschwin; Drechsler, Rolf (Springer US, 2005)