A Heuristic Prover for Real Inequalities.

Jeremy Avigad Robert Y. Lewis Cody Roux

Published in: ITP (2014)

Keyphrases

capacitated fixed charge
neural network
genetic algorithm
bayesian networks
search algorithm
real life
theorem proving
mixed integer
valid inequalities