Advanced BDD Optimization - Ebendt, Rudiger (Springer US, 2020)