Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,397,756 papers from all fields of science
Search
Sign In
Create Free Account
Cook–Levin theorem
Known as:
Cook-Levin theorem
, Cock Levin
, Cook levin theorem
Expand
In computational complexity theory, the Cook–Levin theorem, also known as Cook's theorem, states that the Boolean satisfiability problem is NP…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
20 relations
ACM Turing Award
Boolean expression
Boolean satisfiability problem
Circuit satisfiability problem
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
The Cook-Levin Theorem is False
André Luiz Barbosa
2016
Corpus ID: 53684768
This paper demonstrates that the Cook-Levin Theor em is false, so the NPCompleteness, since a faulty hidden assumption is t…
Expand
2010
2010
Initial eccentricity fluctuations and their relation to higher-order flow harmonics
R. Lacey
,
R. Wei
,
J. Jia
,
N. Ajitanand
,
A. Taranenko
2010
Corpus ID: 118371462
Monte Carlo simulations are used to compute the centrality dependence of the participant eccentricities ({var_epsilon}{sub n}) in…
Expand
2009
2009
Effect of Different Energy Diet on Production Perfromance of Wenchang Chicken
Chen Kuaiwei
2009
Corpus ID: 75863730
Nine hundred Wenchang chicken(0 weeks old) were randomly divided into 3 groups:low energy(Group Ⅰ),control(GroupⅡ)and high energy…
Expand
2006
2006
Methods and effects of Hongshan cock spermatozoa cryopreservation
L. Jianzhong
,
Zhang Yiling
Wuhan University Journal of Natural Sciences
2006
Corpus ID: 34562875
The survival rates, acrosomic integrity rates of frozen semen from Hongshan cock and fertilities of the frozen-thawed spermatozoa…
Expand
2004
2004
A Mechanical Proof of the Cook-Levin Theorem
Ruben Gamboa
,
J. Cowles
International Conference on Theorem Proving in…
2004
Corpus ID: 533875
As is the case with many theorems in complexity theory, typical proofs of the celebrated Cook-Levin theorem showing the NP…
Expand
2004
2004
Trends in the evolution of edaphic specialists with an example of parallel evolution in the Lasthenia californica complex
N. Rajakaruna
,
J. Whitton
2004
Corpus ID: 160015298
Adaptation to unusual soil conditions is a common phenomenon in plants, and closely related taxa are frequently distinguished by…
Expand
2003
2003
The Round-Complexity of Black-Box Concurrent Zero-Knowledge
Alon Rosen
2003
Corpus ID: 115629923
Zero-knowledge proof systems are interactive protocols that enable one party, called the prover, to convince another party…
Expand
2000
2000
Nation, ideas, identities : essays in honour of Ramsay Cook
M. Behiels
,
M. Martel
2000
Corpus ID: 160204704
Part One: The Role of Culture Ann Davis, The Nickle Arts Museum, University of Calgary: Much Ado About Something: A Brief Study…
Expand
1978
1978
Intérêt de la biopsie pulmonaire transbronchique sous fibroscopie
C. Wallaert
,
E. Delepoulle
,
C. François
,
F. Varlet
,
A. Dracon
Acta Endoscopica
1978
Corpus ID: 43468181
RésuméLes auteurs rapportent leur expérience de la biopsie pulmonaire transbronchique sous fibroscopie selon la technique décrite…
Expand
1977
1977
Improving programs by the introduction of recursion
R. Bird
Communications of the ACM
1977
Corpus ID: 8202402
A new technique of program transformation, called “recursion introduction,” is described and applied to two algorithms which…
Expand
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)
ACCEPT & CONTINUE