Formal Representation And Exploration Of Inorganic Molecules With Graph-Theoretical Means