Patrick Trentin
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| From \textsc{MiniZinc} to optimization modulo theories, and back (available as arXiv preprint) | 2022-12-21 | Paper |
| Optimization modulo non-linear arithmetic via incremental linearization | 2022-03-24 | Paper |
| Optimization modulo the theories of signed bit-vectors and floating-point numbers Journal of Automated Reasoning | 2021-11-24 | Paper |
| Optimization modulo the theory of floating-point numbers (available as arXiv preprint) | 2020-03-10 | Paper |
| \textsc{OptiMathSAT}: a tool for optimization modulo theories Journal of Automated Reasoning | 2020-03-03 | Paper |
| Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions Tools and Algorithms for the Construction and Analysis of Systems | 2019-09-17 | Paper |
Research outcomes over time
This page was built for person: Patrick Trentin
