Finding all solutions of piecewise-linear circuits using mixed linear programming algorithm | IEEE Conference Publication | IEEE Xplore