Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Cook–Levin_theorem> }
Showing triples 1 to 57 of
57
with 100 triples per page.
- Stephen_Cook knownFor Cook–Levin_theorem.
- Cock_Levin wikiPageRedirects Cook–Levin_theorem.
- Cock–Levin_theorem wikiPageRedirects Cook–Levin_theorem.
- Cook-Levin_Theorem wikiPageRedirects Cook–Levin_theorem.
- Cook-Levin_theorem wikiPageRedirects Cook–Levin_theorem.
- Cook_levin_theorem wikiPageRedirects Cook–Levin_theorem.
- Cook_theorem wikiPageRedirects Cook–Levin_theorem.
- Cooks_Theorem wikiPageRedirects Cook–Levin_theorem.
- Cooks_theorem wikiPageRedirects Cook–Levin_theorem.
- Proof_that_Boolean_satisfiability_problem_is_NP-complete wikiPageRedirects Cook–Levin_theorem.
- Advice_(complexity) wikiPageWikiLink Cook–Levin_theorem.
- Circuit_satisfiability_problem wikiPageWikiLink Cook–Levin_theorem.
- Clique_problem wikiPageWikiLink Cook–Levin_theorem.
- Cock_Levin wikiPageWikiLink Cook–Levin_theorem.
- Cock–Levin_theorem wikiPageWikiLink Cook–Levin_theorem.
- Cook-Levin_Theorem wikiPageWikiLink Cook–Levin_theorem.
- Cook-Levin_theorem wikiPageWikiLink Cook–Levin_theorem.
- Cook_levin_theorem wikiPageWikiLink Cook–Levin_theorem.
- Cook_theorem wikiPageWikiLink Cook–Levin_theorem.
- Cooks_Theorem wikiPageWikiLink Cook–Levin_theorem.
- Cooks_theorem wikiPageWikiLink Cook–Levin_theorem.
- Department_of_Computer_Science_(University_of_Toronto) wikiPageWikiLink Cook–Levin_theorem.
- History_of_artificial_intelligence wikiPageWikiLink Cook–Levin_theorem.
- Karps_21_NP-complete_problems wikiPageWikiLink Cook–Levin_theorem.
- Karp–Lipton_theorem wikiPageWikiLink Cook–Levin_theorem.
- Leonid_Levin wikiPageWikiLink Cook–Levin_theorem.
- List_of_Russian_IT_developers wikiPageWikiLink Cook–Levin_theorem.
- List_of_Russian_mathematicians wikiPageWikiLink Cook–Levin_theorem.
- List_of_Russian_scientists wikiPageWikiLink Cook–Levin_theorem.
- List_of_University_of_Toronto_people wikiPageWikiLink Cook–Levin_theorem.
- List_of_computability_and_complexity_topics wikiPageWikiLink Cook–Levin_theorem.
- List_of_mathematical_logic_topics wikiPageWikiLink Cook–Levin_theorem.
- List_of_multiple_discoveries wikiPageWikiLink Cook–Levin_theorem.
- List_of_terms_relating_to_algorithms_and_data_structures wikiPageWikiLink Cook–Levin_theorem.
- List_of_theorems wikiPageWikiLink Cook–Levin_theorem.
- NP-completeness wikiPageWikiLink Cook–Levin_theorem.
- Non-interactive_zero-knowledge_proof wikiPageWikiLink Cook–Levin_theorem.
- PCP_theorem wikiPageWikiLink Cook–Levin_theorem.
- P_versus_NP_problem wikiPageWikiLink Cook–Levin_theorem.
- Posts_lattice wikiPageWikiLink Cook–Levin_theorem.
- Proof_that_Boolean_satisfiability_problem_is_NP-complete wikiPageWikiLink Cook–Levin_theorem.
- Satplan wikiPageWikiLink Cook–Levin_theorem.
- Science_and_technology_in_Ukraine wikiPageWikiLink Cook–Levin_theorem.
- Sharp-P-completeness_of_01-permanent wikiPageWikiLink Cook–Levin_theorem.
- Sharp-SAT wikiPageWikiLink Cook–Levin_theorem.
- Stephen_Cook wikiPageWikiLink Cook–Levin_theorem.
- Symposium_on_Theory_of_Computing wikiPageWikiLink Cook–Levin_theorem.
- True_quantified_Boolean_formula wikiPageWikiLink Cook–Levin_theorem.
- books?vid=ISBN0-306-30707-3 isCitedBy Cook–Levin_theorem.
- books?vid=ISBN0-7167-1045-5 isCitedBy Cook–Levin_theorem.
- 18bcc0b6ddb23802f1fbac6c39086773bbede2fe5230b6a462faf0c685a4366d isCitedBy Cook–Levin_theorem.
- b1ec13ffdd91affbd4cc37c415421c3688afd1ba3196b2bf6c64a15972bafc78 isCitedBy Cook–Levin_theorem.
- fe66fe69cc26d59bc03b9776c6aec7eeb6003a2a952e5e23a61494571eadefee isCitedBy Cook–Levin_theorem.
- mahc.1984.10036 isCitedBy Cook–Levin_theorem.
- 0204037 isCitedBy Cook–Levin_theorem.
- Cook%E2%80%93Levin_theorem sameAs Cook–Levin_theorem.
- Cook–Levin_theorem primaryTopic Cook–Levin_theorem.