Advanced BDD Optimization - Ebendt, RΓΌdiger (Springer, 2005)