TY  - RPRT
TI  - How NP got a new definition: a survey of probabilistically checkable proofs
AU  - Sanjeev Arora
PY  - 2003
UR  - https://arxiv.org/abs/cs/0304038
ID  - cs/0304038
ER  -