Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Cook–Levin_theorem> }
Showing triples 1 to 50 of
50
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.
- Cook%E2%80%93Levin_theorem sameAs Cook–Levin_theorem.
- Cook–Levin_theorem primaryTopic Cook–Levin_theorem.