Power network observability: symbolic factorization and spanning trees | IEEE Conference Publication | IEEE Xplore