Proof complexity of resolution-based QBF calculi

Lecture Series / Conference / Course : 
Indo UK workshop on Computational Complexity Theory
Subject: 
TCS
Speaker: 
Leroy Chew
Youtube-url: 
https://youtu.be/Br6kNJJMg5g
Date: 
Thursday, January 8, 2015