Ryan Williams. Strong ETH Breaks With Merlin and Arthur: Short Non-Interactive Proofs of Batch Evaluation. Electronic Colloquium on Computational Complexity (ECCC), 23:2, 2016. [doi]
@article{Williams16,
title = {Strong ETH Breaks With Merlin and Arthur: Short Non-Interactive Proofs of Batch Evaluation},
author = {Ryan Williams},
year = {2016},
url = {http://eccc.hpi-web.de/report/2016/002},
researchr = {https://researchr.org/publication/Williams16},
cites = {0},
citedby = {0},
journal = {Electronic Colloquium on Computational Complexity (ECCC)},
volume = {23},
pages = {2},
}