Login / Signup
On bounded depth proofs for Tseitin formulas on the grid; revisited.
Johan Håstad
Kilian Risse
Published in:
CoRR (2022)
Keyphrases
</>
semidefinite
semidefinite programming