SMT-based analysis of switching multi-domain linear Kirchhoff networks | IEEE Conference Publication | IEEE Xplore