The Orbit Problem is Decidable

Ravindran Kannan Richard J. Lipton

Published in: STOC (1980)

Keyphrases

first order logic
transitive closure
datalog programs
neural network
orbit determination
database
databases
genetic algorithm
image processing
decision trees
computational complexity
artificial neural networks