The all-minors VCCS matrix tree theorem, half-resistors and applications in symbolic simulation | IEEE Conference Publication | IEEE Xplore