Circuit Satisfiability and Constraint Satisfaction Around Skolem Arithmetic (Q3188272): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2486394533
@@ Property / OpenAlex ID: W2486394533 / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint Satisfaction Problems of Bounded Width
@@ Property / cites work: Constraint Satisfaction Problems of Bounded Width / 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 @@
+Essential Convexity and Complexity of Semi-Algebraic Constraints
+Normal rank
@@ Property / cites work @@
+The complexity of temporal constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Constraint Satisfaction Problems over the Integers with Successor
+Normal rank
@@ Property / cites work @@
+Schaefer's Theorem for Graphs
@@ Property / cites work: Schaefer's Theorem for Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Membership Problems for Circuits over Sets of Positive Numbers
+Normal rank
@@ Property / cites work @@
+A dichotomy theorem for constraint satisfaction problems on a 3-element set
+Normal rank
@@ Property / cites work @@
+Classifying the Complexity of Constraints Using Finite Algebras
+Normal rank
@@ Property / cites work @@
+Q4608591
@@ Property / cites work: Q4608591 / rank @@
+Normal rank
@@ Property / cites work @@
+Dichotomies for classes of homomorphism problems involving unary functions
+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 @@
+The computational complexity of logical theories
@@ Property / cites work: The computational complexity of logical theories / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence problems for circuits over sets of natural numbers
+Normal rank
@@ Property / cites work @@
+Satisfiability of algebraic circuits over sets of natural numbers
+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 @@
+Complexity of equations over sets of natural numbers
+Normal rank
@@ Property / cites work @@
+Computational completeness of equations over sets of natural numbers
+Normal rank
@@ Property / cites work @@
+Computational complexity of linear constraints over the integers
+Normal rank
@@ Property / cites work @@
+The complexity of membership problems for circuits over sets of natural numbers
+Normal rank
@@ Property / cites work @@
+On direct products of theories
@@ Property / cites work: On direct products of theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Functions Definable by Arithmetic Circuits
@@ Property / cites work: Functions Definable by Arithmetic Circuits / 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 @@
+Q4131648
@@ Property / cites work: Q4131648 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of membership problems for circuits over sets of integers
+Normal rank
@@ Property / cites work @@
+Integer circuit evaluation is PSPACE-complete
@@ Property / cites work: Integer circuit evaluation is PSPACE-complete / rank @@
+Normal rank