A Heuristic Prover for Real Inequalities.

Jeremy Avigad Robert Y. Lewis Cody Roux

Published in: J. Autom. Reason. (2016)

Keyphrases

real world
search algorithm
sufficient conditions
real time
real life
dynamic programming
theorem prover
capacitated fixed charge
optimal solution
simulated annealing
theorem proving
valid inequalities
reinforcement learning
constraint satisfaction
combinatorial optimization
integer programming