Efficient probabilistically checkable proofs and applications to approximations (Q5248498)
From MaRDI portal
scientific article; zbMATH DE number 6434242
Language | Label | Description | Also known as |
---|---|---|---|
English | Efficient probabilistically checkable proofs and applications to approximations |
scientific article; zbMATH DE number 6434242 |
Statements
Efficient probabilistically checkable proofs and applications to approximations (English)
0 references
7 May 2015
0 references