On the expression complexity of equivalence and isomorphism of primitive positive formulas (Q692919): Difference between revisions

@@ Property / cites work @@
+The Formula Isomorphism Problem
@@ Property / cites work: The Formula Isomorphism Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2005
@@ Property / cites work: Mathematical Foundations of Computer Science 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems: Refining Schaefer's theorem
+Normal rank
@@ Property / cites work @@
+Conjunctive query evaluation by search-tree revisited
+Normal rank
@@ Property / cites work @@
+Arthur-Merlin games: A randomized proof system, and a hierarchy of complexity classes
+Normal rank
@@ Property / cites work @@
+Varieties with few subalgebras of powers
@@ Property / cites work: Varieties with few subalgebras of powers / rank @@
+Normal rank
@@ Property / cites work @@
+Q5613923
@@ Property / cites work: Q5613923 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411838
@@ Property / cites work: Q4411838 / rank @@
+Normal rank
@@ Property / cites work @@
+STACS 2004
@@ Property / cites work: STACS 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Does co-NP have short interactive proofs ?
@@ Property / cites work: Does co-NP have short interactive proofs ? / rank @@
+Normal rank
@@ Property / cites work @@
+Classifying the Complexity of Constraints Using Finite Algebras
+Normal rank
@@ Property / cites work @@
+Complexity Classifications of Boolean Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+Closed systems of functions and predicates
@@ Property / cites work: Closed systems of functions and predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems
+Normal rank
@@ Property / cites work @@
+The structure of finite algebras
@@ Property / cites work: The structure of finite algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Tractability and Learnability Arising from Algebras with Few Subpowers
+Normal rank
@@ Property / cites work @@
+Constraints, consistency and closure
@@ Property / cites work: Constraints, consistency and closure / rank @@
+Normal rank
@@ Property / cites work @@
+Conjunctive-query containment and constraint satisfaction
+Normal rank
@@ Property / cites work @@
+On the Structure of Polynomial Time Reducibility
@@ Property / cites work: On the Structure of Polynomial Time Reducibility / rank @@
+Normal rank
@@ Property / cites work @@
+Universal algebra and hardness results for constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+The complexity of equivalence and isomorphism of systems of equations over finite groups
+Normal rank
@@ Property / cites work @@
+Q3221403
@@ Property / cites work: Q3221403 / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of database queries
@@ Property / cites work: On the complexity of database queries / 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 @@
+Graph isomorphism is in the low hierarchy
@@ Property / cites work: Graph isomorphism is in the low hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Q3739181
@@ Property / cites work: Q3739181 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4029637
@@ Property / cites work: Q4029637 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Hardness of Graph Isomorphism
@@ Property / cites work: On the Hardness of Graph Isomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+A Subalgebra Intersection Property for Congruence Distributive Varieties
+Normal rank