Quantified Constraint Satisfaction and the Polynomially Generated Powers Property (Q3519502): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-70583-3_17
+Normal rank
@@ Property / OpenAlex ID @@
+W1593017268
@@ Property / OpenAlex ID: W1593017268 / rank @@
+Normal rank
@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+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 @@
+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 @@
+Q3220545
@@ Property / cites work: Q3220545 / rank @@
+Normal rank
@@ Property / cites work @@
+Capturing complexity classes by fragments of second-order logic
+Normal rank
@@ Property / cites work @@
+Tractability and Learnability Arising from Algebras with Few Subpowers
+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 @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank