Advanced Bdd Optimization by RĂ¼diger Ebendt