Login / Signup

On Small-depth Frege Proofs for Tseitin for Grids.

Johan Håstad
Published in: J. ACM (2021)
Keyphrases
  • semidefinite
  • small number
  • machine learning