Finding all solutions of piecewise-linear resistive circuits using separable programming