OMITTING TYPES, BOUNDED WIDTH AND THE ABILITY TO COUNT (Q3398315): Difference between revisions

@@ Property / author @@
-Q178143
@@ Property / author: Q178143 / rank @@
-Normal rank
@@ Property / author @@
-László Zádori
@@ Property / author: László Zádori / rank @@
-Normal rank
@@ Property / author @@
+Matthew A. Valeriote
@@ Property / author: Matthew A. Valeriote / rank @@
+Normal rank
@@ Property / author @@
+László Zádori
@@ Property / author: László Zádori / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The set of types of a finitely generated variety
@@ Property / cites work: The set of types of a finitely generated variety / rank @@
+Normal rank
@@ Property / cites work @@
+Dualities for Constraint Satisfaction Problems
@@ Property / cites work: Dualities for Constraint Satisfaction Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Recent Results on the Algebraic Approach to the CSP
+Normal rank
@@ Property / cites work @@
+The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
+Normal rank
@@ Property / cites work @@
+On the expressive power of Datalog: tools and a case study.
+Normal rank
@@ Property / cites work @@
+Universal algebra and hardness results for constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Bounded width problems and algebras
@@ Property / cites work: Bounded width problems and algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Lower bounds on monotone complexity of the logical permanent
+Normal rank
@@ Property / cites work @@
+Q4029637
@@ Property / cites work: Q4029637 / rank @@
+Normal rank