| 2024 | TACAS | DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories. | Nick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike, John Backes |
| 2021 | CAV | Debugging Network Reachability with Blocked Paths. | Sam Bayless, John D. Backes, Dan DaCosta, Benjamin F. Jones, Nate Launchbury, Patrick Trentin, Kelsey Jewell, Sagar Joshi, Michael Q. Zeng, Nandita Mathews |
| 2020 | CPAIOR | From MiniZinc to Optimization Modulo Theories, and Back. | Francesco Contaldo, Patrick Trentin, Roberto Sebastiani |
| 2019 | CADE | Optimization Modulo the Theory of Floating-Point Numbers. | Patrick Trentin, Roberto Sebastiani |
| 2017 | TACAS | On Optimization Modulo Theories, MaxSMT and Sorting Networks. | Roberto Sebastiani, Patrick Trentin |
| 2016 | CADE | On the Benefits of Enhancing Optimization Modulo Theories with Sorting Networks for MaxSMT. | Roberto Sebastiani, Patrick Trentin |
| 2015 | CAV | OptiMathSAT: A Tool for Optimization Modulo Theories. | Roberto Sebastiani, Patrick Trentin |
| 2015 | TACAS | Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions. | Roberto Sebastiani, Patrick Trentin |