Keyphrases
- graph theory
- graph structure
- random walk
- theorem proving
- weighted graph
- graph theoretic
- graph representation
- graph partitioning
- graph model
- graph based algorithm
- structured data
- database
- data sets
- graph search
- minimum spanning tree
- formal proof
- formal proofs
- equational theories
- graph databases
- theorem prover
- graph matching
- directed graph
- mobile robot
- pairwise
- lower bound