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

Monaldo Mastrolilli

Published in: CoRR (2017)

Keyphrases

strictly convex
wide range
neural network
hierarchical structure
objective function
newton method
data sets
genetic algorithm
theorem proving
low degree