A SPICE-Oriented Nonexistence Test for DC Solutions of Nonlinear Circuits | IEEE Conference Publication | IEEE Xplore