Finding all solutions of piecewise-linear circuits with high approximation accuracy | IEEE Conference Publication | IEEE Xplore