High Degree Sum of Squares Proofs, Bienstock-Zuckerberg Hierarchy, and Chvátal-Gomory Cuts.

Monaldo Mastrolilli

Published in: SIAM J. Optim. (2020)

Keyphrases

strictly convex
wide range
low degree
data sets
objective function
hierarchical structure
theorem proving
learning algorithm
search algorithm
dynamic programming
feasible solution
theorem prover
mixed integer
newton method
feasible set