ByNobleID
    The complete set of minimal simple graphs that support unsatisfiable\n 2-CNFs | NobleID