Travelled to:1 × USA
1 × United Kingdom
Collaborated with:R.Sebastiani
Talks about:theori (3) modulo (3) optim (3) function (1) arithmet (1) envelop (1) number (1) linear (1) point (1) float (1)
Person: Patrick Trentin
DBLP: Trentin:Patrick
Contributed to:
2015
2015
2019Wrote 3 papers:
- CAV-2015-SebastianiT #modulo theories #named #optimisation
- OptiMathSAT: A Tool for Optimization Modulo Theories (RS, PT), pp. 447–454.
- TACAS-2015-SebastianiT #cost analysis #modulo theories #optimisation
- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions (RS, PT), pp. 335–349.
- CADE-2019-TrentinS #float #formal method #optimisation
- Optimization Modulo the Theory of Floating-Point Numbers (PT, RS), pp. 550–567.