Olaf Beyersdorff, Video: Characterising QBF Hardness via Circuit Complexity

Olaf Beyersdorff, Video: Characterising QBF Hardness via Circuit Complexity

Olaf Beyersdorff, Characterising QBF Hardness via Circuit Complexity, Proof Complexity, BIRS, BIRS talk, 20w5144, math, mathematics, video

Banff International Research Station

Banff International Research Station

presentation

mpeg4

100M

http://www.birs.ca/events/2020/5-day-workshops/20w5144/videos

http://www.birs.ca/events/2020/5-day-workshops/20w5144/videos/watch/202001211501-Beyersdorff.html