Out of order quantifier elimination for standard quantified linear programs (Q2456614): Difference between revisions

@@ Property / cites work @@
+New results on quantifier elimination over real closed fields and applications to constraint databases
+Normal rank
@@ Property / cites work @@
+Q4079605
@@ Property / cites work: Q4079605 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4082296
@@ Property / cites work: Q4082296 / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution for quantified Boolean formulas
@@ Property / cites work: Resolution for quantified Boolean formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric dispatching of hard real-time tasks
@@ Property / cites work: Parametric dispatching of hard real-time tasks / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity theory companion
@@ Property / cites work: The complexity theory companion / rank @@
+Normal rank
@@ Property / cites work @@
+Q4227581
@@ Property / cites work: Q4227581 / rank @@
+Normal rank
@@ Property / cites work @@
+Properties of Programs and the First-Order Predicate Calculus
+Normal rank
@@ Property / cites work @@
+Maximizing Submodular Set Functions: Formulations and Analysis of Algorithms
+Normal rank
@@ Property / cites work @@
+Q3221403
@@ Property / cites work: Q3221403 / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational complexity and geometry of the first-order theory of the reals. I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals
+Normal rank
@@ Property / cites work @@
+An analysis of partially Clairvoyant scheduling
@@ Property / cites work: An analysis of partially Clairvoyant scheduling / rank @@
+Normal rank
@@ Property / cites work @@
+Q4452107
@@ Property / cites work: Q4452107 / rank @@
+Normal rank
@@ Property / cites work @@
+Tractable fragments of Presburger arithmetic
@@ Property / cites work: Tractable fragments of Presburger arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank