@misc{indiciae1fb54f8cac17,
  title = {How NP got a new definition: a survey of probabilistically checkable proofs},
  author = {Sanjeev Arora},
  year = {2003},
  url = {https://arxiv.org/abs/cs/0304038},
  note = {Source identifier: cs/0304038}
}