Adding Dynamic Paramodulation to Rewrite Algorithms.

Paul Y. Gloess Jean-Pierre H. Laurent

Published in: CADE (1980)

Keyphrases

learning algorithm
neural network
computationally efficient
computational efficiency
theoretical analysis
graph theory
optimal solution
computational complexity
recommender systems
computationally expensive
times faster
recently developed