Hard Instances of Algorithms and Proof Systems (Q5891700)
From MaRDI portal
scientific article; zbMATH DE number 6065521
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Hard Instances of Algorithms and Proof Systems |
scientific article; zbMATH DE number 6065521 |
Statements
Hard Instances of Algorithms and Proof Systems (English)
0 references
14 August 2012
0 references
