Advanced BDD optimization - Ebendt, Rudiger (Springer, 2005)