On The Complexity of Circuit Satisfiability - Ramamohan Paturi