Start date cannot be after end date.
Hardness Escalation and the Rank of Polynomial Threshold Proofs
Presenter
- Paul Beame
November 30, 2010
IAS
A Brief Tour of Proof Complexity: Lower Bounds and Open Problems
Presenter
- Toniann Pitassi
March 19, 2019
IAS
Lower Bounds in Complexity Theory, Communication Complexity, and Sunflowers
Presenter
- Toniann Pitassi
March 2, 2020
IAS
Simplified Lifting Theorems in Communication Complexity via Sunflowers
Presenter
- Toniann Pitassi
October 6, 2020
IAS
How difficult is it to certify that a random 3SAT formula is unsatisfiable?
Presenter
- Toniann Pitassi
April 6, 2021
IAS