Proof complexity of resolution-based QBF calculi

Lecture Series / Conference / Course : 
Subject: 
Speaker: 
Youtube-url: 
https://youtu.be/Br6kNJJMg5g
Date: 
Thursday, January 8, 2015