![](/img/cover-not-exists.png)
[ACM Press the 45th annual ACM symposium - Palo Alto, California, USA (2013.06.01-2013.06.04)] Proceedings of the 45th annual ACM symposium on Symposium on theory of computing - STOC '13 - On the concrete efficiency of probabilistically-checkable proofs
Ben-Sasson, Eli, Chiesa, Alessandro, Genkin, Daniel, Tromer, EranYear:
2013
Language:
english
DOI:
10.1145/2488608.2488681
File:
PDF, 538 KB
english, 2013