...

SAT Solving and Complexity Theory 

Abstract: TBD, but I hope to talk about known limits on our ability to solve SATPossible topics include: a recollection of notions in complexity theory, the state of the art for P vs NP, and how SAT solving could help prove great theorems in complexity theory

...