The following pages link to Mădălina Eraşcu (Q2043798):
Displaying 4 items.
- Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking (Q2043801) (← links)
- Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation) (Q2635072) (← links)
- Efficient Simplification Techniques for Special Real Quantifier Elimination with Applications to the Synthesis of Optimal Numerical Algorithms (Q2830000) (← links)
- Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation) (Q3452390) (← links)
