ByNobleID
    An efficient algorithm for finding all DC solutions of piecewise-linear circuits | NobleID