Login / Signup

On Small-Depth Frege Proofs for Tseitin for Grids.

Johan Håstad
Published in: FOCS (2017)
Keyphrases
  • semidefinite
  • small number
  • high dimensional
  • dynamic programming
  • semidefinite programming