Complexity of Nilpotent Unification and Matching Problems.

Qing Guo Paliath Narendran David A. Wolfram

Published in: Inf. Comput. (2000)

Keyphrases

application domains
machine learning
benchmark problems
matching algorithm
pattern matching
tractable cases
polynomial hierarchy
problems involving
decision problems
keypoints
feature points
optimization problems
higher order
np hard
computational complexity
reinforcement learning
information retrieval