Volker Weispfenning. Simulation and Optimization by Quantifier Elimination. Journal of Symbolic Computation, 24(2):189-208, 1997.
@article{Weispfenning97:1, title = {Simulation and Optimization by Quantifier Elimination}, author = {Volker Weispfenning}, year = {1997}, tags = {optimization}, researchr = {https://researchr.org/publication/Weispfenning97%3A1}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Computation}, volume = {24}, number = {2}, pages = {189-208}, }