@Article{arora98proof,
  author  = {Arora, Sanjeev and Lund, Carsten and Motwani, Rajeev and Sudan, Madhu and Szegedy, Mario},
  title   = {Proof verification and the hardness of approximation problems},
  journal = {J ACM},
  year    = {1998},
  volume  = {45},
  number  = {3},
  pages   = {501--555},
  issn    = {0004-5411},
  doi     = {10.1145/278298.278306},
}

{"_id":"s4vH2nfZuiS3JHnBM","bibbaseid":"arora-lund-motwani-sudan-szegedy-proofverificationandthehardnessofapproximationproblems-1998","authorIDs":[],"author_short":["Arora, S.","Lund, C.","Motwani, R.","Sudan, M.","Szegedy, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Arora"],"firstnames":["Sanjeev"],"suffixes":[]},{"propositions":[],"lastnames":["Lund"],"firstnames":["Carsten"],"suffixes":[]},{"propositions":[],"lastnames":["Motwani"],"firstnames":["Rajeev"],"suffixes":[]},{"propositions":[],"lastnames":["Sudan"],"firstnames":["Madhu"],"suffixes":[]},{"propositions":[],"lastnames":["Szegedy"],"firstnames":["Mario"],"suffixes":[]}],"title":"Proof verification and the hardness of approximation problems","journal":"J ACM","year":"1998","volume":"45","number":"3","pages":"501–555","issn":"0004-5411","doi":"10.1145/278298.278306","bibtex":"@Article{arora98proof,\n author = {Arora, Sanjeev and Lund, Carsten and Motwani, Rajeev and Sudan, Madhu and Szegedy, Mario},\n title = {Proof verification and the hardness of approximation problems},\n journal = {J ACM},\n year = {1998},\n volume = {45},\n number = {3},\n pages = {501--555},\n issn = {0004-5411},\n doi = {10.1145/278298.278306},\n}\n\n","author_short":["Arora, S.","Lund, C.","Motwani, R.","Sudan, M.","Szegedy, M."],"key":"arora98proof","id":"arora98proof","bibbaseid":"arora-lund-motwani-sudan-szegedy-proofverificationandthehardnessofapproximationproblems-1998","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://git.bio.informatik.uni-jena.de/fleisch/literature/raw/master/group-literature.bib","creationDate":"2019-11-19T16:50:41.466Z","downloads":0,"keywords":[],"search_terms":["proof","verification","hardness","approximation","problems","arora","lund","motwani","sudan","szegedy"],"title":"Proof verification and the hardness of approximation problems","year":1998,"dataSources":["C5FtkvWWggFfMJTFX"]}