| OptiMathSAT: A tool for optimization modulo theories R Sebastiani, P Trentin International conference on computer aided verification, 447-454, 2015 | 130 | 2015 |
| OptiMathSAT: A Tool for Optimization Modulo Theories R Sebastiani, P Trentin Journal of Automated Reasoning, 2018 | 57 | 2018 |
| 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 | 38 | 2015 |
| On optimization modulo theories, MaxSMT and sorting networks R Sebastiani, P Trentin International Conference on Tools and Algorithms for the Construction and …, 2017 | 28 | 2017 |
| 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 | 6 | 2021 |
| 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 | 5 | 2021 |
| From MiniZinc to Optimization Modulo Theories, and Back F Contaldo, P Trentin, R Sebastiani Integration of Constraint Programming, Artificial Intelligence, and …, 2020 | 5 | 2020 |
| Optimization modulo the theory of floating-point numbers P Trentin, R Sebastiani International Conference on Automated Deduction, 550-567, 2019 | 5 | 2019 |
| 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 | 4 | 2021 |
| Optimization Modulo Theories with OptiMathSAT P Trentin University of Trento, 2019 | 3 | 2019 |
| On the benefits of enhancing optimization modulo theories with sorting networks for MaxSMT R Sebastiani, P Trentin CEUR WORKSHOP PROCEEDINGS 1617, 2016 | 3 | 2016 |
| DRAT proofs of unsatisfiability for SAT modulo monotonic theories N Feng, AJ Hu, S Bayless, SM Iqbal, P Trentin, M Whalen, L Pike, ... International Conference on Tools and Algorithms for the Construction and …, 2024 | 1 | 2024 |
| 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 | 1 | 2021 |
| From MiniZinc to Optimization Modulo Theories, and Back (Extended Version) F Contaldo, P Trentin, R Sebastiani arXiv preprint arXiv:1912.01476, 2019 | 1 | 2019 |
| OpenMath and SMT-LIB JH Davenport, M England, R Sebastiani, P Trentin arXiv preprint arXiv:1803.01592, 2018 | 1 | 2018 |
| Network change verification based on observed network flows S Bayless, JD Backes, DW Dacosta, V Katkade, SC Joshi, N Labai, ... US Patent 11,743,122, 2023 | | 2023 |
| Zettabyte File System G Pravadelli, P Trentin | | |
| Master Degree in Computer Science R Sebastiani, L Palopoli, P Trentin | | |
Roberto SebastianiFull Professor in Computer Science, DISI, University of Trento, ItalyVerified email at unitn.it
