AC-Unification Race: The System Solving Approach, Implementation and Benchmarks.

Mohamed Adi Claude Kirchner

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

Keyphrases

efficient implementation
neural network
machine learning
information retrieval
computer vision
information systems
higher order
combinatorial optimization
search heuristics