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 theory
Ryan Williams, IBM Almaden Research Center, San Jose, USA
Josef Raviv Fellow at IBM since September 2009