The complexity of constraint satisfaction games and QCSP (Q840700): Difference between revisions

@@ Property / author @@
+Ferdinand Börner
@@ Property / author: Ferdinand Börner / rank @@
+Normal rank
@@ Property / author @@
+Peter G. Jeavons
@@ Property / author: Peter G. Jeavons / rank @@
+Normal rank
@@ Property / author @@
+Andrei A. Krokhin
@@ Property / author: Andrei A. Krokhin / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2076946745
@@ Property / OpenAlex ID: W2076946745 / rank @@
+Normal rank
@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+ON THE COMPLEXITY OF SOME COLORING GAMES
@@ Property / cites work: ON THE COMPLEXITY OF SOME COLORING GAMES / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A dichotomy theorem for constraint satisfaction problems on a 3-element set
+Normal rank
@@ Property / cites work @@
+Combinatorial problems raised from 2-semilattices
@@ Property / cites work: Combinatorial problems raised from 2-semilattices / 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 @@
+Principles and Practice of Constraint Programming – CP 2003
+Normal rank
@@ Property / cites work @@
+Classifying the Complexity of Constraints Using Finite Algebras
+Normal rank
@@ Property / cites work @@
+An algorithm to evaluate quantified Boolean formulae and its experimental evaluation
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2004
+Normal rank
@@ Property / cites work @@
+STACS 2005
@@ Property / cites work: STACS 2005 / 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 @@
+Complexity Classifications of Boolean Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+Q4737176
@@ Property / cites work: Q4737176 / rank @@
+Normal rank
@@ Property / cites work @@
+A new tractable class of constraint satisfaction problems
+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 @@
+Complexity, appeal and challenges of combinatorial games
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Backjumping for quantified Boolean logic satisfiability
+Normal rank
@@ Property / cites work @@
+On sentences which are true of direct unions of algebras
+Normal rank
@@ Property / cites work @@
+On the algebraic structure of combinatorial problems
+Normal rank
@@ Property / cites work @@
+Constraints, consistency and closure
@@ Property / cites work: Constraints, consistency and closure / rank @@
+Normal rank
@@ Property / cites work @@
+Closure properties of constraints
@@ Property / cites work: Closure properties of constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution for quantified Boolean formulas
@@ Property / cites work: Resolution for quantified Boolean formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Conjunctive-query containment and constraint satisfaction
+Normal rank
@@ Property / cites work @@
+Q3365840
@@ Property / cites work: Q3365840 / rank @@
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2004
+Normal rank
@@ Property / cites work @@
+Logical Approaches to Computational Barriers
@@ Property / cites work: Logical Approaches to Computational Barriers / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221403
@@ Property / cites work: Q3221403 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4354427
@@ Property / cites work: Q4354427 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3208654
@@ Property / cites work: Q3208654 / rank @@
+Normal rank
@@ Property / cites work @@
+The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
+Normal rank
@@ Property / cites work @@
+Undirected ST-connectivity in log-space
@@ Property / cites work: Undirected ST-connectivity in log-space / rank @@
+Normal rank
@@ Property / cites work @@
+Q4252522
@@ Property / cites work: Q4252522 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2003
@@ Property / cites work: Mathematical Foundations of Computer Science 2003 / 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 @@
+On the complexity of some two-person perfect-information games
+Normal rank
@@ Property / cites work @@
+Q3739181
@@ Property / cites work: Q3739181 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4828947
@@ Property / cites work: Q4828947 / rank @@
+Normal rank