Login / Signup
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