Title of article :
Fast approximate probabilistically checkable proofs
Author/Authors :
Funda Ergun، نويسنده , , Ravi Kumar، نويسنده , , Ronitt Rubinfeld، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2004
Keywords :
Probabilistically checkable proofs , Sub-linear time algorithms , Proof-assisted property testing , Optimization problems , Property testing
Journal title :
Information and Computation
Journal title :
Information and Computation