Proof complexity

Videos from BIRS Workshop 11w5103

, Universitat Politecnica de Catalunya
- 11:26
Sherali-Adams Relaxations and Indistinguishability in Counting Logics
Watch video | Download video: 201110051020-Atserias.mp4 (321M)
, University of Toronto
- 10:02
Bounded Reverse Mathematics
Watch video | Download video: 201110060905-Cook.mp4 (279M)