Keyphrases
- high resolution
- refinement operators
- graph model
- graph theory
- clause learning
- structured data
- graph based algorithm
- random walk
- low resolution
- stable set
- directed graph
- dependency graph
- graph structure
- weighted graph
- graphical representation
- graph representation
- graph theoretic
- satisfiability testing
- term rewriting
- similarity measure
- graph partitioning
- undirected graph
- theorem prover
- bipartite graph
- connected components
- social network analysis
- description logics
- semi supervised
- np hard
- search space