ByNobleID
    An asymptotically tight bound on the number of connected components of realizable sign conditions | NobleID