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

@@ 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