Galois connections for patterns: an algebra of labelled graphs (Q2044173): Difference between revisions

@@ Property / cites work @@
+Q4993594
@@ Property / cites work: Q4993594 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5532570
@@ Property / cites work: Q5532570 / rank @@
+Normal rank
@@ Property / cites work @@
+Classifying the Complexity of Constraints Using Finite Algebras
+Normal rank
@@ Property / cites work @@
+A finer reduction of constraint problems to digraphs
+Normal rank
@@ Property / cites work @@
+On singleton arc consistency for CSPs defined by monotone patterns
+Normal rank
@@ Property / cites work @@
+Tractability in constraint satisfaction problems: a survey
+Normal rank
@@ Property / cites work @@
+The Tractability of CSP Classes Defined by Forbidden Patterns
+Normal rank
@@ Property / cites work @@
+Binarisation for Valued Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+Binary constraint satisfaction problems defined by excluded topological minors
+Normal rank
@@ Property / cites work @@
+Characterising tractable constraints
@@ Property / cites work: Characterising tractable constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Broken triangles: from value merging to a tractable class of general-arity constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Characterising the complexity of constraint satisfaction problems defined by 2-constraint forbidden patterns
+Normal rank
@@ Property / cites work @@
+Generalizing constraint satisfaction on trees: hybrid tractability and variable elimination
+Normal rank
@@ Property / cites work @@
+Hybrid tractability of valued constraint problems
@@ Property / cites work: Hybrid tractability of valued constraint problems / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Tractable Classes of Constraint Problems
@@ Property / cites work: Hybrid Tractable Classes of Constraint Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4600768
@@ Property / cites work: Q4600768 / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic second-order evaluations on tree-decomposable graphs
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Tree clustering for constraint networks
@@ Property / cites work: Tree clustering for constraint networks / 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 @@
+A sufficient condition for backtrack-bounded search
+Normal rank
@@ Property / cites work @@
+Domain permutation reduction for constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+The complexity of homomorphism and constraint satisfaction problems seen from the other side
+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 @@
+Tractable constraints on ordered domains
@@ Property / cites work: Tractable constraints on ordered domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q5687562
@@ Property / cites work: Q5687562 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4597893
@@ Property / cites work: Q4597893 / rank @@
+Normal rank
@@ Property / cites work @@
+Forbidden lifts (NP and CSP for combinatorialists)
+Normal rank
@@ Property / cites work @@
+On the Structure of Polynomial Time Reducibility
@@ Property / cites work: On the Structure of Polynomial Time Reducibility / rank @@
+Normal rank
@@ Property / cites work @@
+A strong Mal'cev condition for locally finite varieties omitting the unary type
+Normal rank
@@ Property / cites work @@
+Q5715726
@@ Property / cites work: Q5715726 / rank @@
+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