Reflections on Proof Complexity and Counting Principles (Q5027248)
From MaRDI portal
scientific article; zbMATH DE number 7469221
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Reflections on Proof Complexity and Counting Principles |
scientific article; zbMATH DE number 7469221 |
Statements
Reflections on Proof Complexity and Counting Principles (English)
0 references
4 February 2022
0 references
theory of computation
0 references
complexity theory
0 references
propositional proof complexity
0 references
counting principles
0 references
Tseitin tautologies
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
