Fast Reductions from RAMs to Delegatable Succinct Constraint Satisfaction Problems (full version)

By Eli Ben-Sasson, Alessandro Chiesa, Daniel Genkin, Eran Tromer. 2013

3 citations recorded by the source corpus.