An Automatic Inequality Prover and Instance Optimal Identity Testing.

Gregory Valiant Paul Valiant

Published in: FOCS (2014)

Keyphrases

machine learning
genetic algorithm
social networks
optimal solution
optimal control
dynamic programming
upper bound
worst case
semi automatic
special case
asymptotically optimal
exhaustive search
theorem proving
theorem prover
database
search algorithm
objective function
artificial intelligence
real world