Hard Instances of Algorithms and Proof Systems (Q5892128)
From MaRDI portal
scientific article; zbMATH DE number 6478364
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Hard Instances of Algorithms and Proof Systems |
scientific article; zbMATH DE number 6478364 |
Statements
Hard Instances of Algorithms and Proof Systems (English)
0 references
3 September 2015
0 references
hard sequences
0 references
measure hypothesis
0 references
optimal algorithms
0 references
optimal proof systems
0 references
0 references
