On Symbolic Representations of Maximum Matchings and (Un)directed Graphs.

Published in: IFIP TCS (2010)

Keyphrases

directed graph
symbolic representation
random walk
symbolic reasoning
real valued
graph structure
directed acyclic graph
information retrieval
undirected graph
graph structures
data structure
strongly connected
symbolic aggregate approximation