Login / Signup
Bounded-depth Frege complexity of Tseitin formulas for all graphs.
Nicola Galesi
Dmitry Itsykson
Artur Riazanov
Anastasia Sofronova
Published in:
Electron. Colloquium Comput. Complex. (2019)
Keyphrases
</>
computational complexity
semidefinite
worst case
feature extraction
image classification
bounded treewidth