Advanced BDD Optimization (Universitext), Goerschwin, Fey,Rudiger, Ebendt,Drechs