A PCP characterization of NP with optimal amortized query complexity
scientific article