The complexity of theorem-proving procedures SA Cook Proceedings of the third annual ACM symposium on Theory of computing, 151-158, 1971 | 8312 | 1971 |

The relative efficiency of propositional proof systems SA Cook, RA Reckhow The Journal of Symbolic Logic 44 (1), 36-50, 1979 | 989 | 1979 |

A taxonomy of problems with fast parallel algorithms SA Cook Information and control 64 (1-3), 2-22, 1985 | 789 | 1985 |

A new recursion-theoretic characterization of the polytime functions S Bellantoni, S Cook Computational complexity 2 (2), 97-110, 1992 | 591 | 1992 |

Soundness and completeness of an axiom system for program verification SA Cook SIAM Journal on Computing 7 (1), 70-90, 1978 | 567 | 1978 |

Time bounded random access machines SA Cook, RA Reckhow Journal of Computer and System Sciences 7 (4), 354-375, 1973 | 448 | 1973 |

Characterizations of pushdown machines in terms of time-bounded computers SA Cook Journal of the ACM (JACM) 18 (1), 4-18, 1971 | 426 | 1971 |

Upper and lower time bounds for parallel random access machines without simultaneous writes S Cook, C Dwork, R Reischuk SIAM Journal on Computing 15 (1), 87-97, 1986 | 384 | 1986 |

Contributions of hydrogen bonds of Thr 157 to the thermodynamic stability of phage T4 lysozyme T Alber, S Dao-Pin, K Wilson, JA Wozniak, SP Cook, BW Matthews Nature 330 (6143), 41, 1987 | 348 | 1987 |

Log depth circuits for division and related problems PW Beame, SA Cook, HJ Hoover SIAM Journal on Computing 15 (4), 994-1003, 1986 | 345 | 1986 |

On the minimum computation time of functions SA Cook, SO Aanderaa Transactions of the American Mathematical Society 142, 291-314, 1969 | 341 | 1969 |

Finding hard instances of the satisfiability problem SA Cook, DG Mitchell Satisfiability problem: theory and applications: DIMACS workshop 35, 1-17, 1997 | 309 | 1997 |

An observation on time-storage trade off SA Cook Proceedings of the fifth annual ACM symposium on Theory of computing, 29-33, 1973 | 307 | 1973 |

The P versus NP problem S Cook The millennium prize problems, 87-104, 2006 | 277 | 2006 |

Feasibly constructive proofs and the propositional calculus (preliminary version) SA Cook Proceedings of the seventh annual ACM symposium on Theory of computing, 83-97, 1975 | 272 | 1975 |

An overview of computational complexity SA Cook Communications of the ACM 26 (6), 400-408, 1983 | 246 | 1983 |

A hierarchy for nondeterministic time complexity SA Cook Journal of Computer and System Sciences 7 (4), 343-353, 1973 | 223 | 1973 |

Roles of nonstructural protein nsP2 and alpha/beta interferons in determining the outcome of Sindbis virus infection EI Frolova, RZ Fayzulin, SH Cook, DE Griffin, CM Rice, I Frolov Journal of virology 76 (22), 11254-11264, 2002 | 209 | 2002 |

Functional interpretations of feasibly constructive arithmetic S Cook, A Urquhart Annals of Pure and Applied Logic 63 (2), 103-200, 1993 | 200 | 1993 |

Logical foundations of proof complexity S Cook, P Nguyen Cambridge University Press, 2010 | 191 | 2010 |