A symbolic circuit analysis-oriented algorithm for finding a common tree of the current and voltage graphs | IEEE Conference Publication | IEEE Xplore