Highly Influenced

@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} }

- Published 2012 in STOC
DOI:10.1145/2213977.2214000

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

### Presentations referencing similar topics