Probabilistically checkable arguments for all NP
succinct probabilistically checkable argument
scientific article; zbMATH DE number 7943270
scientific article