A Search Technique for Clause Interconnectivity Graphs.

Published in: IEEE Trans. Computers (1976)

Keyphrases

search space
search strategy
search algorithm
query language
graph theoretic
neural network
optimal solution
graph structure
information seeking
graph search