Finding all solutions of piecewise-linear resistive circuits using separable programming | IEEE Conference Publication | IEEE Xplore