Deductive Synthesis of the Unification Algorithm.

Zohar Manna Richard J. Waldinger

Published in: Sci. Comput. Program. (1981)

Keyphrases

simulated annealing
genetic algorithm
detection algorithm
optimal solution
convergence rate
cost function
experimental evaluation
worst case
high accuracy
improved algorithm
matching algorithm
theoretical analysis
dynamic programming
significant improvement
preprocessing
computational complexity
objective function