Keyphrases
- graph theory
- graph representation
- graph theoretic
- higher order
- weighted graph
- graph structure
- graph partitioning
- directed acyclic graph
- graph construction
- transfer learning
- minimum spanning tree
- spanning tree
- equational theories
- graph structures
- graph based algorithm
- automated theorem proving
- graph properties
- database
- graph model
- graph mining
- knowledge transfer
- theorem proving
- graph matching
- directed graph
- connected components
- social network analysis
- structured data
- random walk
- special case
- data sets