Advanced BDD Optimization - inbunden, Engelska, 2005