Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions. - Roberto Sebastiani; Patrick Trentin (TACAS, 2015)

On the Benefits of Enhancing Optimization Modulo Theories with Sorting Networks for MaxSMT. - Roberto Sebastiani; Patrick Trentin (SMT@IJCAR, 2016)

On Optimization Modulo Theories, MaxSMT and Sorting Networks. - Roberto Sebastiani; Patrick Trentin (TACAS (2), 2017)

OpenMath and SMT-LIB. - James H. Davenport; Matthew England 001; Roberto Sebastiani; Patrick Trentin (CoRR, 2018)

Optimization Modulo the Theory of Floating-Point Numbers. - Patrick Trentin; Roberto Sebastiani (CADE, 2019)

From MiniZinc to Optimization Modulo Theories, and Back (Extended Version). - Francesco Contaldo; Patrick Trentin; Roberto Sebastiani (CoRR, 2019)

Optimization Modulo Theories with OptiMathSAT. - Patrick Trentin (2019)

From MiniZinc to Optimization Modulo Theories, and Back. - Francesco Contaldo; Patrick Trentin; Roberto Sebastiani (CPAIOR, 2020)

OptiMathSAT: A Tool for Optimization Modulo Theories. - Roberto Sebastiani; Patrick Trentin (J. Autom. Reason., 2020)

Debugging Network Reachability with Blocked Paths. - Sam Bayless; John D. Backes; Dan DaCosta; Benjamin F. Jones 002; Nate Launchbury; Patrick Trentin; Kelsey Jewell; Sagar Joshi; Michael Q. Zeng; Nandita Mathews (CAV (2), 2021)

Optimization Modulo Non-linear Arithmetic via Incremental Linearization. - Filippo Bigarella; Alessandro Cimatti; Alberto Griggio; Ahmed Irfan; Martin Jonás; Marco Roveri; Roberto Sebastiani; Patrick Trentin (FroCoS, 2021)

Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers. - Patrick Trentin; Roberto Sebastiani (J. Autom. Reason., 2021)

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 (TACAS (1), 2024)