Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,217,193 papers from all fields of science
Search
Sign In
Create Free Account
Schaefer's dichotomy theorem
In computational complexity theory, a branch of computer science, Schaefer's dichotomy theorem states necessary and sufficient conditions under which…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
17 relations
Boolean satisfiability problem
Complexity of constraint satisfaction
Computational complexity theory
Computer science
Expand
Broader (1)
Constraint programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
A Holant Dichotomy: Is the FKT Algorithm Universal?
Jin-Yi Cai
,
Zhiguo Fu
,
Heng Guo
,
Tyson Williams
IEEE Annual Symposium on Foundations of Computer…
2015
Corpus ID: 130978
We prove a complexity dichotomy for complex-weighted Holant problems with an arbitrary set of symmetric constraint functions on…
Expand
Highly Cited
2011
Highly Cited
2011
Origin of the martian dichotomy and Tharsis from a giant impact causing massive magmatism
G. Golabek
,
G. Golabek
,
+4 authors
J. Connolly
2011
Corpus ID: 54904060
Highly Cited
2009
Highly Cited
2009
Astrophysics and Space Science DOI 10.1007/s•••••-•••-••••-• Horizontal Branch Stars: The Interplay between Observations and Theory, and Insights into the Formation of the Galaxy
2009
Corpus ID: 11227430
Highly Cited
2007
Highly Cited
2007
The Mercury Dual Imaging System on the MESSENGER Spacecraft
S. Edward Hawkins
,
J. Boldt
,
+22 authors
B. D. Williams
2007
Corpus ID: 36163654
Abstract The Mercury Dual Imaging System (MDIS) on the MESSENGER spacecraft will provide critical measurements tracing Mercury’s…
Expand
2007
2007
Raman spectra of Langmuir–Blodgett and Langmuir–Schaefer films of polydiacetylene prepared from 10,12-pentacosadiynoic acid
K. Seto
,
Y. Hosoi
,
Y. Furukawa
2007
Corpus ID: 73680416
Highly Cited
2006
Highly Cited
2006
Degree-1 convection in the Martian mantle and the origin of the hemispheric dichotomy
J. Roberts
,
S. Zhong
2006
Corpus ID: 54935684
[1] The surface of Mars appears dramatically different between the northern and southern hemispheres. Any endogenic origin for…
Expand
Highly Cited
2004
Highly Cited
2004
Clitic Positions and Restructuring in Italian
A. Cardinaletti
,
U. Shlonsky
Linguistic Inquiry
2004
Corpus ID: 57572606
Verbs can be introduced (merged) in either a lexical VP or a functional head, the latter position giving rise to restructuring…
Expand
2002
2002
Dark clouds and their silver linings: exotic generalist predators in augmentative biological control
P. Clercq
2002
Corpus ID: 55907983
Varios artropodos predadores polifagos estao disponiveis para uso em controle biologico pelo aumento da populacao, com o objetivo…
Expand
1997
1997
Looking for a Version of Schaefer''s Dichotomy Theorem When Each Variable Occurs at Most Twice
Gabriel Istrate
1997
Corpus ID: 18148370
Schaefer (1978) introduced a generalized satisfiability problem SAT(S) and showed that, depending on the nature of relations in S…
Expand
Highly Cited
1992
Highly Cited
1992
EVOLUTIONARY RELATIONSHIPS WITHIN THE ENSATINA ESCHSCHOLTZII COMPLEX CONFIRM THE RING SPECIES INTERPRETATION
C. Moritz
,
C. Schneider
,
D. Wake
1992
Corpus ID: 49267121
Sequences (644-681 bp) from the mitochondrial cytochrome b gene were obtained for 24 individuals representing the geographic…
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