@misc{indiciae2511c208293d,
  title = {Hardness Amplification in Proof Complexity},
  author = {Paul Beame and Trinh Huynh and Toniann Pitassi},
  year = {2009},
  url = {https://arxiv.org/abs/0912.0568},
  note = {Source identifier: 0912.0568}
}