Special Cases and Substitutes for Rigid E-Unification.

David A. Plaisted

Published in: Appl. Algebra Eng. Commun. Comput. (2000)

Keyphrases

special case
computational complexity
three dimensional
np hard
higher order
theorem proving
equational theories
automated theorem proving
real time
approximation algorithms
optimal solution
wide range
motion estimation
markov networks
rigid motion