Lazy Linear Combinatorial Unification.

Marco Bellia M. Eugenia Occhiuto

Published in: J. Symb. Comput. (1999)

Keyphrases

higher order
theorem proving
data mining
control system
case based reasoning
linear constraints
genetic algorithm
learning algorithm
search engine
social networks
three dimensional
quadratic programming