Subsumption Algorithms Based on Search Trees.

Leo Bachmair Ta Chen C. R. Ramakrishnan I. V. Ramakrishnan

Published in: CAAP (1996)

Keyphrases

search tree
data structure
nearest neighbor
optimization problems
neural network
search algorithm
computational complexity
search space
multi dimensional
np complete
orders of magnitude
binary search trees
sat solving