Assertion: graph isomorphism | /r/HasProperty | solved for example
Facets:
value: efficiently
type: MANNER
value: by nauty
type: OTHER
Source sentences:
text: Yes, "It is not new or surprising that graph isomorphism may be solved efficiently" for example by Nauty.