Su artículo pionero, "The Complexity of Theorem Proving Procedures," presentado en el "ACM SIGACT Symposium on the Theory of Computing" de 1971, sentó los cimientos de la teoría de NP-completitud.