Q4643959 (Q4643959): Difference between revisions

@@ Property / cites work @@
+Affine systems of equations and counting infinitary logic
+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 @@
+Absorbing Subalgebras, Cyclic Terms, and the Constraint Satisfaction Problem
+Normal rank
@@ Property / cites work @@
+The wonderland of reflections
@@ Property / cites work: The wonderland of reflections / rank @@
+Normal rank
@@ Property / cites work @@
+The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+Cores of Countably Categorical Structures
@@ Property / cites work: Cores of Countably Categorical Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Datalog and constraint satisfaction with infinite templates
+Normal rank
@@ Property / cites work @@
+The Complexity of Phylogeny Constraint Satisfaction
+Normal rank
@@ Property / cites work @@
+The complexity of equality constraint languages
@@ Property / cites work: The complexity of equality constraint languages / rank @@
+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 @@
+Topological Birkhoff
@@ Property / cites work: Topological Birkhoff / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Definability
@@ Property / cites work: Decidability of Definability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4649542
@@ Property / cites work: Q4649542 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata theory in nominal sets
@@ Property / cites work: Automata theory in nominal sets / rank @@
+Normal rank
@@ Property / cites work @@
+Turing Machines with Atoms
@@ Property / cites work: Turing Machines with Atoms / rank @@
+Normal rank
@@ Property / cites work @@
+Point algebras for temporal reasoning: Algorithms and complexity
+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 @@
+The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
+Normal rank
@@ Property / cites work @@
+Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics (Invited Talk).
+Normal rank
@@ Property / cites work @@
+Q4336034
@@ Property / cites work: Q4336034 / rank @@
+Normal rank
@@ Property / cites work @@
+Closure properties of constraints
@@ Property / cites work: Closure properties of constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Q4386965
@@ Property / cites work: Q4386965 / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint satisfaction and semilinear expansions of addition over the rationals and the reals
+Normal rank
@@ Property / cites work @@
+Locally Finite Constraint Satisfaction Problems
@@ Property / cites work: Locally Finite Constraint Satisfaction Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Turing machines with atoms, constraint satisfaction problems, and descriptive complexity
+Normal rank
@@ Property / cites work @@
+A complexity dichotomy for poset constraint satisfaction
+Normal rank
@@ Property / cites work @@
+Characterizations of several Maltsev conditions.
@@ Property / cites work: Characterizations of several Maltsev conditions. / rank @@
+Normal rank
@@ Property / cites work @@
+Constraints, MMSNP and expander relational structures
+Normal rank
@@ Property / cites work @@
+Existence theorems for weakly symmetric operations
+Normal rank
@@ Property / cites work @@
+On free actions, minimal flows, and a problem by Ellis
+Normal rank
@@ Property / cites work @@
+A strong Mal'cev condition for locally finite varieties omitting the unary type
+Normal rank
@@ Property / cites work @@
+A Proof of the CSP Dichotomy Conjecture
@@ Property / cites work: A Proof of the CSP Dichotomy Conjecture / rank @@
+Normal rank