The complexity of counting quantifiers on equality languages (Q515549): Difference between revisions

@@ 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 @@
+Classifying the Complexity of Constraints Using Finite Algebras
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+A dichotomy theorem for constraint satisfaction problems on a 3-element set
+Normal rank
@@ Property / cites work @@
+On the complexity of H-coloring
@@ Property / cites work: On the complexity of H-coloring / rank @@
+Normal rank
@@ Property / cites work @@
+The CSP Dichotomy Holds for Digraphs with No Sources and No Sinks (A Positive Answer to a Conjecture of Bang-Jensen and Hell)
+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 @@
+Quantified Equality Constraints
@@ Property / cites work: Quantified Equality Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint Satisfaction with Counting Quantifiers
@@ Property / cites work: Constraint Satisfaction with Counting Quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255575
@@ Property / cites work: Q4255575 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4332930
@@ Property / cites work: Q4332930 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3735686
@@ Property / cites work: Q3735686 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifiers and cognition: logical and computational perspectives
+Normal rank
@@ Property / cites work @@
+On uniformity within \(NC^ 1\)
@@ Property / cites work: On uniformity within \(NC^ 1\) / rank @@
+Normal rank
@@ Property / cites work @@
+The reducts of equality up to primitive positive interdefinability
+Normal rank
@@ Property / cites work @@
+The Complexity of Abduction for Equality Constraint Languages
+Normal rank
@@ Property / cites work @@
+On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction
+Normal rank
@@ Property / cites work @@
+The complexity of constraint satisfaction games and QCSP
+Normal rank
@@ Property / cites work @@
+The polynomial-time hierarchy
@@ Property / cites work: The polynomial-time hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Positive First-Order Logic Is NP-Complete
@@ Property / cites work: Positive First-Order Logic Is NP-Complete / rank @@
+Normal rank
@@ Property / cites work @@
+Undirected connectivity in log-space
@@ Property / cites work: Undirected connectivity in log-space / rank @@
+Normal rank