Satisfiability algorithms and lower bounds for boolean formulas

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