Binary Decision Diagrams and Applications for VLSI CAD (The Springer International Series in Engineering and Computer Science)