ByNobleID
    A tight bound for the number of edges of matchstick graphs | NobleID