Skip to search formSkip to main contentSkip to account menu

Cook–Levin theorem

Known as: Cook-Levin theorem, Cock Levin, Cook levin theorem 
In computational complexity theory, the Cook–Levin theorem, also known as Cook's theorem, states that the Boolean satisfiability problem is NP… 
Wikipedia (opens in a new tab)

Related topics

Related topics

20 relations
ACM Turing AwardBoolean expressionBoolean satisfiability problemCircuit satisfiability problem

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
The Cook-Levin Theorem is False
This paper demonstrates that the Cook-Levin Theor em is false, so the NPCompleteness, since a faulty hidden assumption is t… 
2014
2014
RELATIONSHIP BETWEEN PHENOTYPIC SEXUAL CHARACTERS AND SEMEN CHARACTERISTICS IN FOUR STRAINS OF COCKS IN NORTHERN NIGERIA
A study was carried out to evaluate the secondary sexual characteristics of four strains of cocks, comprising of two (2) exotics… 
2013
2013
Hieronymus Cock and Volcxken Diericx - Print Publishers in Antwerp
2010
2010
Initial eccentricity fluctuations and their relation to higher-order flow harmonics
Monte Carlo simulations are used to compute the centrality dependence of the participant eccentricities ({var_epsilon}{sub n}) in… 
2009
2009
Effect of Different Energy Diet on Production Perfromance of Wenchang Chicken
Nine hundred Wenchang chicken(0 weeks old) were randomly divided into 3 groups:low energy(Group Ⅰ),control(GroupⅡ)and high energy… 
2009
2009
Polynomial Time with Restricted Use of Randomness
We define a hierarchy of complexity classes that lie between P and RP, yielding a new way of quantifying partial progress towards… 
2004
2004
A Mechanical Proof of the Cook-Levin Theorem
As is the case with many theorems in complexity theory, typical proofs of the celebrated Cook-Levin theorem showing the NP… 
2004
2004
Trends in the evolution of edaphic specialists with an example of parallel evolution in the Lasthenia californica complex
Adaptation to unusual soil conditions is a common phenomenon in plants, and closely related taxa are frequently distinguished by… 
2000
2000
Nation, ideas, identities : essays in honour of Ramsay Cook
Part One: The Role of Culture Ann Davis, The Nickle Arts Museum, University of Calgary: Much Ado About Something: A Brief Study… 
1978
1978
Intérêt de la biopsie pulmonaire transbronchique sous fibroscopie
RésuméLes auteurs rapportent leur expérience de la biopsie pulmonaire transbronchique sous fibroscopie selon la technique décrite… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)