On guarded extensions of MMSNP (Q6149045): Difference between revisions

@@ Property / cites work @@
+Ontology-Based Data Access
@@ Property / cites work: Ontology-Based Data Access / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Infinite-Domain Constraint Satisfaction
+Normal rank
@@ Property / cites work @@
+ASNP: a tame fragment of existential second-order logic
+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 @@
+Graph partitions with prescribed patterns
@@ Property / cites work: Graph partitions with prescribed patterns / rank @@
+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 @@
+Universal Structures and the logic of Forbidden Patterns
+Normal rank
@@ Property / cites work @@
+Relations Among Complexity Measures
@@ Property / cites work: Relations Among Complexity Measures / 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