Follow
Patrick Trentin
Title
Cited by
Cited by
Year
OptiMathSAT: A Tool for Optimization Modulo Theories
R Sebastiani, P Trentin
Journal of Automated Reasoning, 2018
1422018
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
352015
On optimization modulo theories, MaxSMT and sorting networks
R Sebastiani, P Trentin
International Conference on Tools and Algorithms for the Construction and …, 2017
182017
From MiniZinc to Optimization Modulo Theories, and Back
F Contaldo, P Trentin, R Sebastiani
International Conference on Integration of Constraint Programming …, 2020
52020
Optimization modulo the theory of floating-point numbers
P Trentin, R Sebastiani
International Conference on Automated Deduction, 550-567, 2019
52019
On the Benefits of Enhancing Optimization Modulo Theories with Sorting Networks for MaxSMT.
R Sebastiani, P Trentin
SMT@ IJCAR, 85-95, 2016
32016
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
22021
Optimization Modulo Theories with OptiMathSAT
P Trentin
University of Trento, 2019
12019
OpenMath and SMT-LIB
JH Davenport, M England, R Sebastiani, P Trentin
arXiv preprint arXiv:1803.01592, 2018
12018
Path analysis service for identifying network configuration settings that block paths in virtual private clouds (VPCs)
S Bayless, JD Backes, DW Dacosta, BF Jones, P Trentin, N Launchbury, ...
US Patent 11,206,175, 2021
2021
Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers
P Trentin, R Sebastiani
Journal of Automated Reasoning 65 (7), 1071-1096, 2021
2021
Optimization Modulo Non-linear Arithmetic via Incremental Linearization
F Bigarella, A Cimatti, A Griggio, A Irfan, M Jonáš, M Roveri, R Sebastiani, ...
International Symposium on Frontiers of Combining Systems, 213-231, 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
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–15