Trentin, Patrick
Trentin, Patrick
Mostra
records
Risultati 1 - 11 di 11 (tempo di esecuzione: 0.029 secondi).
From MiniZinc to Optimization Modulo Theories, and Back
2020-01-01 Contaldo, F.; Trentin, P.; Sebastiani, R.
On Optimization Modulo Theories, MaxSMT and Sorting Networks
2017-01-01 Sebastiani, Roberto; Trentin, Patrick
On the Benefits of Enhancing Optimization Modulo Theories with Sorting Networks for MaxSMT
2016-01-01 Sebastiani, Roberto; Trentin, Patrick
OpenMath and SMT-LIB
2017-01-01 Davenport, James H.; England, Matthew; Sebastiani, Roberto; Trentin, Patrick
OptiMathSAT: A Tool for Optimization Modulo Theories
2020-01-01 Sebastiani, Roberto; Trentin, Patrick
OptiMathSAT: A Tool for Optimization Modulo Theories
2015-01-01 Sebastiani, Roberto; Trentin, Patrick
Optimization Modulo Non-linear Arithmetic via Incremental Linearization
2021-01-01 Bigarella, F.; Cimatti, A.; Griggio, A.; Irfan, A.; Jonas, M.; Roveri, M.; Sebastiani, R.; Trentin, P.
Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers
2021-01-01 Trentin, P.; Sebastiani, R.
Optimization Modulo the Theory of Floating-Point Numbers
2019-01-01 Trentin, Patrick; Sebastiani, Roberto
Optimization Modulo Theories with OptiMathSAT
2019-01-01 Trentin, Patrick
Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions
2015-01-01 Sebastiani, Roberto; Trentin, Patrick