Simultaneous E-Unification and Related Algorithmic Problems.

Anatoli Degtyarev Yuri V. Matiyasevich Andrei Voronkov

Published in: LICS (1996)

Keyphrases

higher order
problems involving
closely related
application domains
mathematical programming
main problems
related problems
difficult problems
data sets
real world
information systems
learning environment
pairwise
artificial neural networks
optimization problems
solving problems