On quantified linear implications (Q2254606): Difference between revisions

@@ Property / cites work @@
+Geometric algorithm for multiparametric linear programming
+Normal rank
@@ Property / cites work @@
+QEPCAD B
@@ Property / cites work: QEPCAD B / rank @@
+Normal rank
@@ Property / cites work @@
+Real quantifier elimination is doubly exponential
@@ Property / cites work: Real quantifier elimination is doubly exponential / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247790
@@ Property / cites work: Q4247790 / rank @@
+Normal rank
@@ Property / cites work @@
+A complexity perspective on entailment of parameterized linear constraints
+Normal rank
@@ Property / cites work @@
+Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system design
+Normal rank
@@ Property / cites work @@
+Q4391452
@@ Property / cites work: Q4391452 / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
+Normal rank
@@ Property / cites work @@
+Q3050157
@@ Property / cites work: Q3050157 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational complexity of parametric linear programming
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient solving of quantified inequality constraints over the real numbers
+Normal rank
@@ Property / cites work @@
+Typing Linear Constraints for Moding CLP( ${\cal R}$ ) Programs
+Normal rank
@@ Property / cites work @@
+Q3818127
@@ Property / cites work: Q3818127 / rank @@
+Normal rank
@@ Property / cites work @@
+The polynomial-time hierarchy
@@ Property / cites work: The polynomial-time hierarchy / rank @@
+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 @@
+An analysis of totally clairvoyant scheduling
@@ Property / cites work: An analysis of totally clairvoyant scheduling / rank @@
+Normal rank
@@ Property / cites work @@
+On a decision procedure for quantified linear programs
+Normal rank
@@ Property / cites work @@
+On the complexities of selected satisfiability and equivalence queries over Boolean formulas and inclusion queries over hulls
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+Alfred Tarski's elimination theory for real closed fields
+Normal rank
@@ Property / cites work @@
+The complexity of linear problems in fields
@@ Property / cites work: The complexity of linear problems in fields / rank @@
+Normal rank