A Decision Procedure for the First Order Theory of Real Addition with Order.

Jeanne Ferrante Charles Rackoff

Published in: SIAM J. Comput. (1975)

Keyphrases

real life
data sets
genetic algorithm
decision makers
real time
real world
computer vision
image processing
bayesian networks
relational databases
probabilistic model
theoretical basis