Login / Signup
On small-depth Frege proofs for Tseitin for grids.
Johan Håstad
Published in:
Electron. Colloquium Comput. Complex. (2017)
Keyphrases
</>
semidefinite
small number
semidefinite programming
machine learning
feature extraction
linear programming
solving problems