Schaefer's Theorem for Graphs (Q2796406): Difference between revisions

← Older edit

@@ aliases / en / 0 / aliases / en / 0 @@
+Schaefer's theorem for graphs
@@ description / en / description / en @@
-scientific article
+scientific article; zbMATH DE number 6301190
@@ Property / title @@
+Schaefer's theorem for graphs (English)
@@ Property / title: Schaefer's theorem for graphs (English) / rank @@
+Normal rank
@@ Property / zbMATH Open document ID @@
+.05169
@@ Property / zbMATH Open document ID: 1288.05169 / rank @@
+Normal rank
@@ Property / DOI @@
+.1145/1993636.1993724
@@ Property / DOI: 10.1145/1993636.1993724 / rank @@
+Normal rank
@@ Property / published in @@
+Proceedings of the forty-third annual ACM symposium on Theory of computing
+Normal rank
@@ Property / publication date @@
+June 2014Timestamp +2014-06-05T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2014-06-05T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 5 June 2014 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T20
@@ Property / Mathematics Subject Classification ID: 68T20 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+R10
@@ Property / Mathematics Subject Classification ID: 68R10 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6301190
@@ Property / zbMATH DE Number: 6301190 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+complexity dichotomy
@@ Property / zbMATH Keywords: complexity dichotomy / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+constraint satisfaction problems
@@ Property / zbMATH Keywords: constraint satisfaction problems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+polymorphisms
@@ Property / zbMATH Keywords: polymorphisms / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+ramsey theory
@@ Property / zbMATH Keywords: ramsey theory / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2243954424
@@ Property / OpenAlex ID: W2243954424 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1976863752
@@ Property / OpenAlex ID: W1976863752 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.2894
@@ Property / arXiv ID: 1011.2894 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q56168969
@@ Property / Wikidata QID: Q56168969 / rank @@
+Normal rank
@@ Property / cites work @@
+Models Without Indiscernibles
@@ Property / cites work: Models Without Indiscernibles / rank @@
+Normal rank
@@ Property / cites work @@
+Maximal infinite-valued constraint languages
@@ Property / cites work: Maximal infinite-valued constraint languages / rank @@
+Normal rank
@@ Property / cites work @@
+The reducts of equality up to primitive positive interdefinability
+Normal rank
@@ Property / cites work @@
+Horn versus full first-order: Complexity dichotomies in algebraic constraint satisfaction
+Normal rank
@@ Property / cites work @@
+The complexity of equality constraint languages
@@ Property / cites work: The complexity of equality constraint languages / rank @@
+Normal rank
@@ Property / cites work @@
+A fast algorithm and datalog inexpressibility for temporal reasoning
+Normal rank
@@ Property / cites work @@
+Constraint Satisfaction with Countable Homogeneous Templates
+Normal rank
@@ Property / cites work @@
+Reducts of Ramsey structures
@@ Property / cites work: Reducts of Ramsey structures / rank @@
+Normal rank
@@ Property / cites work @@
+Schaefer's Theorem for Graphs
@@ Property / cites work: Schaefer's Theorem for Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal functions on the random graph
@@ Property / cites work: Minimal functions on the random graph / rank @@
+Normal rank
@@ Property / cites work @@
+Topological Birkhoff
@@ Property / cites work: Topological Birkhoff / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Definability
@@ Property / cites work: Decidability of Definability / rank @@
+Normal rank
@@ Property / cites work @@
+Classifying the Complexity of Constraints Using Finite Algebras
+Normal rank
@@ Property / cites work @@
+The random graph
@@ Property / cites work: The random graph / rank @@
+Normal rank
@@ Property / cites work @@
+Q4408038
@@ Property / cites work: Q4408038 / rank @@
+Normal rank
@@ Property / cites work @@
+Building tractable disjunctive constraints
@@ Property / cites work: Building tractable disjunctive constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebras and their application in temporal and spatial reasoning
+Normal rank
@@ Property / cites work @@
+A lower bound for r(5, 5)
@@ Property / cites work: A lower bound for r(5, 5) / rank @@
+Normal rank
@@ Property / cites work @@
+`` Strong '' NP-Completeness Results
@@ Property / cites work: `` Strong '' NP-Completeness Results / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of clones on infinite sets
@@ Property / cites work: A survey of clones on infinite sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4336034
@@ Property / cites work: Q4336034 / rank @@
+Normal rank
@@ Property / cites work @@
+Closure properties of constraints
@@ Property / cites work: Closure properties of constraints / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Reducts of the random graph
@@ Property / cites work: Reducts of the random graph / rank @@
+Normal rank
@@ Property / cites work @@
+Reducts of random hypergraphs
@@ Property / cites work: Reducts of random hypergraphs / rank @@
+Normal rank