@inproceedings{DBLP:conf/stoc/BeameBI12,
  author    = {Paul Beame and
               Christopher Beck and
               Russell Impagliazzo},
  title     = {Time-space tradeoffs in resolution: superpolynomial lower bounds for superlinear space},
  booktitle = {STOC},
  year      = {2012},
  pages     = {213-232},
  ee        = {http://doi.acm.org/10.1145/2213977.2213999},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

{"_id":{"_str":"534243ba0e946d920a0004c9"},"__v":1,"authorIDs":[],"author_short":["Beame, P.","Beck, C.","Impagliazzo, R."],"bibbaseid":"beame-beck-impagliazzo-timespacetradeoffsinresolutionsuperpolynomiallowerboundsforsuperlinearspace-2012","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Paul"],"propositions":[],"lastnames":["Beame"],"suffixes":[]},{"firstnames":["Christopher"],"propositions":[],"lastnames":["Beck"],"suffixes":[]},{"firstnames":["Russell"],"propositions":[],"lastnames":["Impagliazzo"],"suffixes":[]}],"title":"Time-space tradeoffs in resolution: superpolynomial lower bounds for superlinear space","booktitle":"STOC","year":"2012","pages":"213-232","ee":"http://doi.acm.org/10.1145/2213977.2213999","bibsource":"DBLP, http://dblp.uni-trier.de","bibtex":"@inproceedings{DBLP:conf/stoc/BeameBI12,\n author = {Paul Beame and\n Christopher Beck and\n Russell Impagliazzo},\n title = {Time-space tradeoffs in resolution: superpolynomial lower bounds for superlinear space},\n booktitle = {STOC},\n year = {2012},\n pages = {213-232},\n ee = {http://doi.acm.org/10.1145/2213977.2213999},\n bibsource = {DBLP, http://dblp.uni-trier.de}\n}\n\n\n","author_short":["Beame, P.","Beck, C.","Impagliazzo, R."],"key":"DBLP:conf/stoc/BeameBI12","id":"DBLP:conf/stoc/BeameBI12","bibbaseid":"beame-beck-impagliazzo-timespacetradeoffsinresolutionsuperpolynomiallowerboundsforsuperlinearspace-2012","role":"author","urls":{"Link":"http://doi.acm.org/10.1145/2213977.2213999"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"people.csail.mit.edu/andyd/CCI_refs.bib","downloads":0,"keywords":[],"search_terms":["time","space","tradeoffs","resolution","superpolynomial","lower","bounds","superlinear","space","beame","beck","impagliazzo"],"title":"Time-space tradeoffs in resolution: superpolynomial lower bounds for superlinear space","year":2012,"dataSources":["Te9pFfTBkQvusPFGk","6sSgqzaHAPRWvSxTP"]}