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 theory
Josef Raviv Fellow at IBM since September 2009