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
1412018
Pushing the envelope of optimization modulo theories with linear-arithmetic cost functions
R Sebastiani, P Trentin
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
342015
On optimization modulo theories, MaxSMT and sorting networks
R Sebastiani, P Trentin
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
182017
From MiniZinc to Optimization Modulo Theories, and Back
F Contaldo, P Trentin, R Sebastiani
Integration of Constraint Programming, Artificial Intelligence, and …, 2020
52020
Optimization modulo the theory of floating-point numbers
P Trentin, R Sebastiani
Automated Deduction–CADE 27: 27th International Conference on Automated …, 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, ...
Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021
22021
From MiniZinc to Optimization Modulo Theories, and Back (Extended Version)
F Contaldo, P Trentin, R Sebastiani
arXiv preprint arXiv:1912.01476, 2019
12019
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, ...
Frontiers of Combining Systems: 13th International Symposium, FroCoS 2021 …, 2021
2021
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