Tractable combinations of theories via sampling (Q2055788): Difference between revisions

@@ Property / cites work @@
+Q2762630
@@ Property / cites work: Q2762630 / rank @@
+Normal rank
@@ Property / cites work @@
+The Max-Atom Problem and Its Relevance
@@ Property / cites work: The Max-Atom Problem and Its Relevance / rank @@
+Normal rank
@@ Property / cites work @@
+Q5109509
@@ Property / cites work: Q5109509 / rank @@
+Normal rank
@@ Property / cites work @@
+Tractable combinations of theories via sampling
@@ Property / cites work: Tractable combinations of theories via sampling / rank @@
+Normal rank
@@ Property / cites work @@
+Non-dichotomies in Constraint Satisfaction Complexity
+Normal rank
@@ Property / cites work @@
+Constraint satisfaction tractability from semi-lattice operations on infinite sets
+Normal rank
@@ Property / cites work @@
+Constraint Satisfaction with Countable Homogeneous Templates
+Normal rank
@@ Property / cites work @@
+An optimal k-consistency algorithm
@@ Property / cites work: An optimal k-consistency algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Q4495111
@@ Property / cites work: Q4495111 / 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 @@
+Q5576236
@@ Property / cites work: Q5576236 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+Constraints, consistency and closure
@@ Property / cites work: Constraints, consistency and closure / rank @@
+Normal rank
@@ Property / cites work @@
+Q3568753
@@ Property / cites work: Q3568753 / rank @@
+Normal rank
@@ Property / cites work @@
+On minimal <i>n</i>-universal graphs
@@ Property / cites work: On minimal <i>n</i>-universal graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Simplification by Cooperating Decision Procedures
@@ Property / cites work: Simplification by Cooperating Decision Procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity, convexity and combinations of theories
+Normal rank
@@ Property / cites work @@
+Q4518872
@@ Property / cites work: Q4518872 / rank @@
+Normal rank
@@ Property / cites work @@
+Unions of non-disjoint theories and combinations of satisfiability procedures
+Normal rank