On a decision procedure for quantified linear programs (Q2462634): Difference between revisions

@@ Property / DOI @@
-.1007/s10472-007-9085-y
@@ Property / DOI: 10.1007/s10472-007-9085-y / rank @@
-Normal rank
@@ Property / author @@
+K. Subramani and Vahan Mkrtchyan
@@ Property / author: K. Subramani and Vahan Mkrtchyan / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RSOLVER
@@ Property / describes a project that uses: RSOLVER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HSolver
@@ Property / describes a project that uses: HSolver / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10472-007-9085-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2034752994
@@ Property / OpenAlex ID: W2034752994 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+Bilevel linear programming
@@ Property / cites work: Bilevel linear programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472553
@@ Property / cites work: Q4472553 / rank @@
+Normal rank
@@ Property / cites work @@
+Applying interval arithmetic to real, integer, and boolean constraints
+Normal rank
@@ Property / cites work @@
+Q2751045
@@ Property / cites work: Q2751045 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255462
@@ Property / cites work: Q4255462 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473025
@@ Property / cites work: Q4473025 / rank @@
+Normal rank
@@ Property / cites work @@
+Using integer programming to verify general safety and liveness properties
+Normal rank
@@ Property / cites work @@
+Fourier-Motzkin elimination and its dual
@@ Property / cites work: Fourier-Motzkin elimination and its dual / rank @@
+Normal rank
@@ Property / cites work @@
+Q4004335
@@ Property / cites work: Q4004335 / 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 @@
+Simple and Fast Algorithms for Linear and Integer Programs with Two Variables Per Inequality
+Normal rank
@@ Property / cites work @@
+Q4523706
@@ Property / cites work: Q4523706 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4400885
@@ Property / cites work: Q4400885 / rank @@
+Normal rank
@@ Property / cites work @@
+On Fourier's algorithm for linear arithmetic constraints
+Normal rank
@@ Property / cites work @@
+Applying Linear Quantifier Elimination
@@ Property / cites work: Applying Linear Quantifier Elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Q4943600
@@ Property / cites work: Q4943600 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4739657
@@ Property / cites work: Q4739657 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4520808
@@ Property / cites work: Q4520808 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808717
@@ Property / cites work: Q4808717 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Q3813613
@@ Property / cites work: Q3813613 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473910
@@ Property / cites work: Q4473910 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3137900
@@ Property / cites work: Q3137900 / rank @@
+Normal rank
@@ Property / cites work @@
+Bilevel and multilevel programming: A bibliography review
+Normal rank
@@ Property / cites work @@
+Quantifier elimination for real algebra -- the quadratic case and beyond
+Normal rank
@@ Property / DOI @@
+.1007/S10472-007-9085-Y
@@ Property / DOI: 10.1007/S10472-007-9085-Y / rank @@
+Normal rank