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

The relative efficiency of propositional proof systems SA Cook, RA Reckhow The journal of symbolic logic 44 (1), 36-50, 1979 | 1018 | 1979 |

A taxonomy of problems with fast parallel algorithms C Stephen Information and control 64 (1-3), 2-22, 1985 | 802 | 1985 |

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

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

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

Characterizations of pushdown machines in terms of time-bounded computers SA Cook Journal of the ACM (JACM) 18 (1), 4-18, 1971 | 429 | 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 | 388 | 1986 |

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

Log depth circuits for division and related problems PW Beame, SA Cook, HJ Hoover SIAM Journal on Computing 15 (4), 994-1003, 1986 | 352 | 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-46, 1987 | 346 | 1987 |

Finding hard instances of the satisfiability problem: A survey SA Cook, DG Mitchell Satisfiability Problem: Theory and Applications 35, 1-17, 1997 | 323 | 1997 |

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

The P versus NP problem S Cook The millennium prize problems, 87-104, 2006 | 298 | 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 | 273 | 1975 |

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

A hierarchy for nondeterministic time complexity SA Cook Proceedings of the fourth annual ACM symposium on Theory of computing, 187-192, 1972 | 229 | 1972 |

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 | 214 | 2002 |

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

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