2012-04-22 Complexify of SAT research SAT: Typical-Case Complexity Sanjit A. Seshia EECS, UC Berkeley