Ebendt, Rüdiger. <br/><br/>
Advanced BDD Optimization 

<br/><br/><label>ISBN: </label>9780387254548