Quantified constraint satisfaction and the polynomially generated powers property (Q539977): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00012-011-0125-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2046586055
@@ Property / OpenAlex ID: W2046586055 / rank @@
+Normal rank
@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+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 @@
+Varieties with few subalgebras of powers
@@ Property / cites work: Varieties with few subalgebras of powers / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Simple Algorithm for Mal'tsev Constraints
@@ Property / cites work: A Simple Algorithm for Mal'tsev Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Classifying the Complexity of Constraints Using Finite Algebras
+Normal rank
@@ Property / cites work @@
+A dichotomy theorem for constraint satisfaction problems on a 3-element set
+Normal rank
@@ Property / cites work @@
+Resolution for quantified Boolean formulas
@@ Property / cites work: Resolution for quantified Boolean formulas / rank @@
+Normal rank
@@ Property / cites work @@
+The expressive rate of constraints
@@ Property / cites work: The expressive rate of constraints / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Quantified Constraint Satisfaction: Collapsibility, Sink Algebras, and the Three-Element Case
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity Classifications of Boolean Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+Generalized Majority-Minority Operations are Tractable
+Normal rank
@@ Property / cites work @@
+Capturing complexity classes by fragments of second-order logic
+Normal rank
@@ Property / cites work @@
+On the algebraic structure of combinatorial problems
+Normal rank
@@ Property / cites work @@
+Closure properties of constraints
@@ Property / cites work: Closure properties of constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Q3815282
@@ Property / cites work: Q3815282 / rank @@
+Normal rank
@@ Property / cites work @@
+On tractability and congruence distributivity
@@ Property / cites work: On tractability and congruence distributivity / rank @@
+Normal rank
@@ Property / cites work @@
+Q3751631
@@ Property / cites work: Q3751631 / 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 @@
+Q3739181
@@ Property / cites work: Q3739181 / rank @@
+Normal rank