SAT Solving and Complexity Theory 

My goals for this talk are:

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

Josef Raviv Fellow at IBM since September 2009