Login / Signup
On Bounded Depth Proofs for Tseitin Formulas on the Grid; Revisited.
Johan Håstad
Kilian Risse
Published in:
FOCS (2022)
Keyphrases
</>
semidefinite
semidefinite programming
high dimensional
image classification
linear programming