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… 
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… 
2006
2006
Methods and effects of Hongshan cock spermatozoa cryopreservation
The survival rates, acrosomic integrity rates of frozen semen from Hongshan cock and fertilities of the frozen-thawed spermatozoa… 
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… 
2003
2003
The Round-Complexity of Black-Box Concurrent Zero-Knowledge
Zero-knowledge proof systems are interactive protocols that enable one party, called the prover, to convince another party… 
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… 
1977
1977
Improving programs by the introduction of recursion
A new technique of program transformation, called “recursion introduction,” is described and applied to two algorithms which… 
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)