How does one find facts about a given graph one has in mind?
For example, how would I find out if the Petersen graph is already known if I stumbled upon it while searching for a counterexample for something?
Is there an OEIS-like search engine which accepts adjacency matrices or a similar graph representation?