Video: Olaf Beyersdorff, "QBF Proof Complexity"

Video From 18w5208: Theory and Practice of Satisfiability Solving

Olaf Beyersdorff, University of Jena

Wednesday, August 29, 2018 10:16 - 11:15

QBF Proof Complexity

Olaf Beyersdorff, Video: QBF Proof Complexity

Olaf Beyersdorff, QBF Proof Complexity, Theory and Practice of Satisfiability Solving, BIRS, BIRS talk, 18w5208, math, mathematics, video

Banff International Research Station

presentation

mpeg4

193M

http://www.birs.ca/events/2018/5-day-workshops/18w5208/videos

http://www.birs.ca/events/2018/5-day-workshops/18w5208/videos/watch/201808291016-Beyersdorff.html

0 seconds of 0 secondsVolume 90%

00:00

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