A Nonlinear Real Arithmetic Fragment.

Ashish Tiwari Patrick Lincoln

Published in: CAV (2014)

Keyphrases

machine learning
neural network
database
data sets
real world
learning algorithm
artificial intelligence
decision making