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

Trinh Huynh, Jakob Nordstrom

Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceedingpeer-review

Fingerprint

Dive into the research topics of 'On the virtue of succinct proofs: Amplifying communication complexity hardness to time-space trade-offs in proof complexity'. Together they form a unique fingerprint.

Mathematics

Computer Science