Login / Signup
A heuristic prover for real inequalities.
Jeremy Avigad
Robert Y. Lewis
Cody Roux
Published in:
CoRR (2014)
Keyphrases
</>
real time
real life
heuristic solution
data sets
real world
information systems
optimal solution
optimization problems
sufficient conditions
ant colony optimization
feasible solution
lagrangian relaxation
linear inequalities
cutting plane algorithm