The Complexity of Theorem-Proving Procedures

Details

Photo

—

Name

—

Área

Complexidade computacional

Ano

1971

Autores principais

Stephen A. Cook

Onde ler

Proceedings of the Third Annual ACM Symposium on Theory of Computing

Minha reação

Aqui nasce o famigerado NP-completo. Depois que você entende, nunca mais olha pra um problema difícil sem ouvir boss music.