Bounded-Depth Frege Complexity of Tseitin Formulas for All Graphs (Q5092411)
From MaRDI portal
scientific article; zbMATH DE number 7561693
Language | Label | Description | Also known as |
---|---|---|---|
English | Bounded-Depth Frege Complexity of Tseitin Formulas for All Graphs |
scientific article; zbMATH DE number 7561693 |
Statements
21 July 2022
0 references
Tseitin formula
0 references
treewidth
0 references
AC0-Frege
0 references
0 references
0 references
0 references
0 references
Bounded-Depth Frege Complexity of Tseitin Formulas for All Graphs (English)
0 references