The Complexity of Theorem-Proving Procedures, image 1 of 11 / 1
Item

The Complexity of Theorem-Proving Procedures

in Leituras de plantão by Lucas Andrade

Like this itemFollow Lucas AndradeOpen in app

The Complexity of Theorem-Proving Procedures on “Leituras de plantão”, a list by Lucas Andrade on TheLysts.

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.

Related items

JAMA - diretrizes de hipertensãoThe International Study of Infarct Survival (ISIS-2) Collaborative Group. Randomized trial of intravenous streptokinase, oral aspirin, both, or neither among 17 187 cases of suspected acute myocardial infarctionDiretriz da AHA sobre Ressuscitação Cardiopulmonar (RCP)Rastreamento que vale a pena