In this paper, we provide a survey (both theoretical and computational) of the conditions for determining which finite p -groups are strongly flat. Let m(G) denote the maximum size of an irredundant generating set of a group G . Then, a group G is strongly flat if m(G) is strictly greater than m(H) for all proper subgroups H of G . For example, J. Whiston has shown in his dissertation that all ...