HomeSearchLibrary
Maximum common edge subgraph problem | OmniWiki