Video: Olaf Beyersdorff, "Characterising QBF Hardness via Circuit Complexity"

Video From 20w5144: Proof Complexity

Olaf Beyersdorff, University of Jena

Tuesday, January 21, 2020 15:01 - 15:31

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

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

0 seconds of 0 secondsVolume 90%

00:00

This video file cannot be played.(Error Code: 224003)