Detecting Redundancy Caused by Congruent Links in Clause Graphs.

Rolf Socher-Ambrosius

Published in: GWAI (1989)

Keyphrases

automatic detection
graph theoretic
graph matching
graph theory
graph partitioning
search space
graph structure
theorem prover
link analysis
graph clustering
random graphs