|
Volumn 1, Issue 1, 2008, Pages 364-375
|
Taming verification hardness: An efficient algorithm for testing subgraph isomorphism
|
Author keywords
[No Author keywords available]
|
Indexed keywords
GRAPHIC METHODS;
SEMANTICS;
COMPUTATION COSTS;
DATA SEMANTICS;
FEATURE-BASED;
NP-HARD;
QUERY GRAPH;
SUBGRAPH ISOMORPHISM;
SYNTHETIC DATA;
SET THEORY;
|
EID: 84859197018
PISSN: None
EISSN: 21508097
Source Type: Conference Proceeding
DOI: 10.14778/1453856.1453899 Document Type: Article |
Times cited : (374)
|
References (21)
|