Searching for "Simulation and Optimization by Quantifier Elimination." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Simulation and Optimization by Quantifier Elimination
- …J. Symbolic Computation (1996) 11, 1--000 Simulation and Optimization by Quantifier Elimination…
- Cited by 16 (2 self) – Add To MetaCart
-
Applications of Real First-Order Constraint Solving Bibliography
- … Weispfenning. Simulation and optimization by quantifier elimination. Journal of Symbolic Computation, 24…
- Cited by 2 (2 self) – Add To MetaCart
-
EXISTS([w, z, a], [[-2,2], [-2,2], [0, \infty]],
- …. Proc. of the IEEE, 2002. to appear. [72] V. Weispfenning. Simulation and optimization by quantifier…
- Add To MetaCart
Showing 1 through 3.
