Equivariant algorithms for constraint satisfaction problems over coset templates (Q344534): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+T20
@@ Property / Mathematics Subject Classification ID: 68T20 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q19
@@ Property / Mathematics Subject Classification ID: 68Q19 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6655346
@@ Property / zbMATH DE Number: 6655346 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+constraint satisfaction problems
@@ Property / zbMATH Keywords: constraint satisfaction problems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+bounded width
@@ Property / zbMATH Keywords: bounded width / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+coset templates
@@ Property / zbMATH Keywords: coset templates / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+local consistency algorithms
@@ Property / zbMATH Keywords: local consistency algorithms / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+combinatorial problems
@@ Property / zbMATH Keywords: combinatorial problems / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963683868
@@ Property / OpenAlex ID: W2963683868 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.4020
@@ Property / arXiv ID: 1412.4020 / rank @@
+Normal rank
@@ Property / cites work @@
+Affine systems of equations and counting infinitary logic
+Normal rank
@@ Property / cites work @@
+The collapse of the bounded width hierarchy
@@ Property / cites work: The collapse of the bounded width hierarchy / 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 @@
+Constraint Satisfaction Problems Solvable by Local Consistency Methods
+Normal rank
@@ Property / cites work @@
+Turing Machines with Atoms
@@ Property / cites work: Turing Machines with Atoms / 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 @@
+An optimal lower bound on the number of variables for graph identification
+Normal rank
@@ Property / cites work @@
+Arities of permutation groups: Wreath products and \(k\)-sets
+Normal rank
@@ Property / cites work @@
+Generalized Majority-Minority Operations are Tractable
+Normal rank
@@ Property / cites work @@
+Q4255575
@@ Property / cites work: Q4255575 / rank @@
+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 structure of finite algebras
@@ Property / cites work: The structure of finite algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded width problems and algebras
@@ Property / cites work: Bounded width problems and algebras / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:344534