Keyphrases
- computer assisted
- higher order
- graph structures
- graph clustering
- directed graph
- graph representation
- graph structure
- series parallel
- graph theoretic
- graph partitioning
- graph databases
- graph theory
- semantic relations
- relational information
- equational theories
- social graphs
- algebraic structures
- neural network
- theorem proving
- bipartite graph
- graphical models
- image segmentation