Graph-Pair Decision Diagram Construction for Topological Symbolic Circuit Analysis | IEEE Journals & Magazine | IEEE Xplore