Implication of assertion graphs in GSTE.

Guowu Yang Jin Yang William N. N. Hung Xiaoyu Song

Published in: ASP-DAC (2005)

Keyphrases

graph theory
series parallel
subgraph isomorphism
graph theoretic
functional dependencies
graph matching
real time
graph databases
graph model
graph mining
directed graph
bipartite graph
np complete
pattern recognition
random graphs
genetic algorithm
database
attributed graphs