Patrick Trentin
Title
Cited by
Cited by
Year
OptiMathSAT: A Tool for Optimization Modulo Theories
R Sebastiani, P Trentin
Journal of Automated Reasoning, 2018
1182018
Pushing the envelope of optimization modulo theories with linear-arithmetic cost functions
R Sebastiani, P Trentin
International Conference on Tools and Algorithms for the Construction and …, 2015
322015
On optimization modulo theories, MaxSMT and sorting networks
R Sebastiani, P Trentin
International Conference on Tools and Algorithms for the Construction and …, 2017
132017
Optimization modulo the theory of floating-point numbers
P Trentin, R Sebastiani
International Conference on Automated Deduction, 550-567, 2019
42019
On the Benefits of Enhancing Optimization Modulo Theories with Sorting Networks for MaxSMT.
R Sebastiani, P Trentin
SMT@ IJCAR, 85-95, 2016
32016
From MiniZinc to Optimization Modulo Theories, and Back
F Contaldo, P Trentin, R Sebastiani
International Conference on Integration of Constraint Programming …, 2020
22020
OpenMath and SMT-LIB
JH Davenport, M England, R Sebastiani, P Trentin
arXiv preprint arXiv:1803.01592, 2018
12018
Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers
P Trentin, R Sebastiani
Journal of Automated Reasoning, 1-26, 2021
2021
Debugging Network Reachability with Blocked Paths
S Bayless, J Backes, D DaCosta, BF Jones, N Launchbury, P Trentin, ...
International Conference on Computer Aided Verification, 851-862, 2021
2021
From MiniZinc to Optimization Modulo Theories, and Back (Extended Version)
F Contaldo, P Trentin, R Sebastiani
arXiv preprint arXiv:1912.01476, 2019
2019
Optimization Modulo Theories with OPTIMATHSAT
P Trentin
University of Trento, 2019
2019
Zettabyte File System
G Pravadelli, P Trentin
Master Degree in Computer Science
R Sebastiani, L Palopoli, P Trentin
The system can't perform the operation now. Try again later.
Articles 1–13