Binary Decision Diagrams and Applications for VLSI CAD | Kaicus Deutschland