Complexity-Theoretic Aspects of

...

SAT

...

Solving

Abstract: TBD, but I hope to talk about known limits on our ability to solve SAT, and how SAT solving could help prove great theorems in complexity theoryput your abstract here

Ryan Williams, IBM Almaden Research Center, San Jose, USA

put your bio hereJosef Raviv Fellow at IBM since September 2009