On the virtue of succinct proofs: amplifying communication complexity hardness to time-space trade-offs in proof complexity

@inproceedings{Huynh2012OnTV,
  title={On the virtue of succinct proofs: amplifying communication complexity hardness to time-space trade-offs in proof complexity},
  author={Trinh Huynh and Jakob Nordstr{\"o}m},
  booktitle={STOC},
  year={2012}
}
An active line of research in proof complexity over the last decade has been the study of proof space and trade-offs between size and space. Such questions were originally motivated by practical SAT solving, but have also led to the development of new theoretical concepts in proof complexity of intrinsic interest and to results establishing nontrivial relations between space and other proof complexity measures. By now, the resolution proof system is fairly well understood in this regard, as… CONTINUE READING
Highly Cited
This paper has 36 citations. REVIEW CITATIONS