BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × USA
1 × United Kingdom
Collaborated with:
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 DBLP: Trentin:Patrick

Contributed to:

CAV 20152015
TACAS 20152015
CADE 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.