Login / Signup

On Bounded Depth Proofs for Tseitin Formulas on the Grid; Revisited.

Johan HåstadKilian Risse
Published in: FOCS (2022)
Keyphrases
  • semidefinite
  • semidefinite programming
  • high dimensional
  • image classification
  • linear programming