Mădălina Eraşcu

Available identifiers

zbMath Open erascu.madalinaMaRDI QIDQ2043798

List of research outcomes

Publication	Date of Publication	Type
Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking	2021-08-03	Paper
Efficient simplification techniques for special real quantifier elimination with applications to the synthesis of optimal numerical algorithms	2016-11-09	Paper
Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation)	2016-02-11	Paper
Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation)	2015-11-11	Paper

Research outcomes over time

This page was built for person: Mădălina Eraşcu