High Degree Sum of Squares Proofs, Bienstock-Zuckerberg hierarchy and Chvatal-Gomory cuts.

Monaldo Mastrolilli

Published in: Electron. Colloquium Comput. Complex. (2017)

Keyphrases

objective function
wide range
theorem proving
high precision
theorem prover
databases
multiscale
higher level
low degree
data sets
decision trees
high level
low level
hierarchical structure