Proof of conjectures on remoteness and proximity in graphs.
Hongbo HuaKinkar Chandra DasPublished in: Discret. Appl. Math. (2014)
Keyphrases
- theorem prover
- geometry theorem proving
- graph theoretic
- theorem proving
- complex structures
- graph matching
- graph theory
- graph model
- real time
- first order logic
- graph clustering
- series parallel
- data mining
- proximity search
- structured objects
- linear logic
- subgraph isomorphism
- adjacency matrix
- graph construction
- graph databases
- graph mining
- bipartite graph