Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,433,305 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.
2012
2012
Travelling wave solutions of a free boundary problem for a two-species competitive model
Chueh Chang
,
Chiun-Chuan Chen
2012
Corpus ID: 123375275
We study a di usive logistic system with a free boundary in ecology proposed by Mimura, Yamada and Yotsutani [10]. Motivated by…
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
2007
2007
Beyond a Cosmopolitan Ideal: the Politics of Singularity
Nick Vaughan-Williams
2007
Corpus ID: 55180908
The aim of this paper is to explore alternative ways of thinking about ethics in world politics beyond the polis, the cosmopolis…
Expand
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
Review
2003
Review
2003
EVOLUTION OF AVIAN LOCOMOTION: CORRELATES OF FLIGHT STYLE, LOCOMOTOR MODULES, NESTING BIOLOGY, BODY SIZE, DEVELOPMENT, AND THE ORIGIN OF FLAPPING FLIGHT
K. Dial
2003
Corpus ID: 16880554
AVIAN NESTING STRATEGIES, flight style, hatchling and adult body size, developmental precocial–altricial trajectories, and the…
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
1990
Highly Cited
1990
Kleptoparasitism as a problem of prey choice: a study on mudflat-feeding curlews, Numenius arquata
B. Ens
,
P. Esselink
,
L. Zwarts
Animal Behaviour
1990
Corpus ID: 53185028
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