Patrick Trentin

From MaRDI portal
Person:831942

Available identifiers

zbMath Open trentin.patrickMaRDI QIDQ831942

List of research outcomes





PublicationDate of PublicationType
From \textsc{MiniZinc} to optimization modulo theories, and back2022-12-21Paper
Optimization modulo non-linear arithmetic via incremental linearization2022-03-24Paper
Optimization modulo the theories of signed bit-vectors and floating-point numbers2021-11-24Paper
Optimization modulo the theory of floating-point numbers2020-03-10Paper
\textsc{OptiMathSAT}: a tool for optimization modulo theories2020-03-03Paper
Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions2019-09-17Paper

Research outcomes over time

This page was built for person: Patrick Trentin

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:831942&oldid=7042237"
Powered by MediaWiki