Rigid Reachability, The Non-Symmetric Form of Rigid E-Unification.

Harald Ganzinger Florent Jacquemard Margus Veanes

Published in: Int. J. Found. Comput. Sci. (2000)

Keyphrases

three dimensional
neural network
higher order
data mining
artificial intelligence
decision trees
case study
multiscale
artificial neural networks
dynamic programming
state space
theorem proving
articulated motion