Average-Case Analysis of Robinson's Unification Algorithm with Two Different Variables.

Rafael Casas Josep Díaz Jean-Marc Steyaert

Published in: Inf. Process. Lett. (1989)

Keyphrases

average case
worst case
worst case analysis
objective function
learning algorithm
optimal solution
np hard
dynamic programming
theoretical analysis
uniform distribution
high dimensional
cross validation