"SMT-based analysis of switching multi-domain linear Kirchhoff networks."

Alessandro Cimatti, Sergio Mover, Mirko Sessa (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics