DBLP BibTeX Record 'conf/stoc/BeameHP10'

@inproceedings{DBLP:conf/stoc/BeameHP10,
  author    = {Paul Beame and
               Trinh Huynh and
               Toniann Pitassi},
  title     = {Hardness amplification in proof complexity},
  booktitle = {STOC},
  year      = {2010},
  pages     = {87-96},
  ee        = {http://doi.acm.org/10.1145/1806689.1806703},
  crossref  = {DBLP:conf/stoc/2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/stoc/2010,
  editor    = {Leonard J. Schulman},
  title     = {Proceedings of the 42nd ACM Symposium on Theory of Computing,
               STOC 2010, Cambridge, Massachusetts, USA, 5-8 June 2010},
  booktitle = {STOC},
  publisher = {ACM},
  year      = {2010},
  isbn      = {978-1-4503-0050-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}