2 × USA
J.Nordström P.Beame T.Pitassi
complex (3) proof (3) hard (2) succinct (1) communic (1) amplifi (1) amplif (1) virtu (1) trade (1) space (1)
Person: Trinh Huynh
Wrote 2 papers:
- STOC-2012-HuynhN #communication #complexity #on the #proving #trade-off
- On the virtue of succinct proofs: amplifying communication complexity hardness to time-space trade-offs in proof complexity (TH, JN), pp. 233–248.
- STOC-2010-BeameHP #complexity #proving
- Hardness amplification in proof complexity (PB, TH, TP), pp. 87–96.