Author:Theobald, Thorsten. Algorithms and Data Structures in VLSI Design: OBDD - Foundations and Applications. New key results in theoretical computer science and in the design of data structures and efficient algorithms, can be applied fruitfully here.
eBay