On the concrete efficiency of probabilistically-checkable proofs.

Eli Ben-Sasson, Alessandro Chiesa, Daniel Genkin, Eran Tromer

Browse the full STOC paper archive.