Patrick Trentin

ORCID

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 15

Top Venues

University of Trento, Italy (PHD)

Education History

University of Trento, Italy

PHD

Publications

Nick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike, John Backes
DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories. CoRR (2024)
Nick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike, John Backes
DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories. TACAS (1) (2024)
Patrick Trentin, Roberto Sebastiani
Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers. J. Autom. Reason. 65 (7) (2021)
Filippo Bigarella, Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Martin Jonás, Marco Roveri, Roberto Sebastiani, Patrick Trentin
Optimization Modulo Non-linear Arithmetic via Incremental Linearization. FroCoS (2021)
Francesco Contaldo, Patrick Trentin, Roberto Sebastiani
From MiniZinc to Optimization Modulo Theories, and Back. CPAIOR (2020)
Roberto Sebastiani, Patrick Trentin
OptiMathSAT: A Tool for Optimization Modulo Theories. J. Autom. Reason. 64 (3) (2020)
Francesco Contaldo, Patrick Trentin, Roberto Sebastiani
From MiniZinc to Optimization Modulo Theories, and Back (Extended Version). CoRR (2019)
Patrick Trentin, Roberto Sebastiani
Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers. CoRR (2019)
Patrick Trentin, Roberto Sebastiani
Optimization Modulo the Theory of Floating-Point Numbers. CADE (2019)
James H. Davenport, Matthew England, Roberto Sebastiani, Patrick Trentin
OpenMath and SMT-LIB. CoRR (2018)
Roberto Sebastiani, Patrick Trentin
On Optimization Modulo Theories, MaxSMT and Sorting Networks. CoRR (2017)
Roberto Sebastiani, Patrick Trentin
On Optimization Modulo Theories, MaxSMT and Sorting Networks. TACAS (2) (2017)
Roberto Sebastiani, Patrick Trentin
On the Benefits of Enhancing Optimization Modulo Theories with Sorting Networks for MaxSMT. SMT@IJCAR (2016)
Roberto Sebastiani, Patrick Trentin
OptiMathSAT: A Tool for Optimization Modulo Theories. CAV (1) (2015)
Roberto Sebastiani, Patrick Trentin
Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions. TACAS (2015)
Roberto Sebastiani, Patrick Trentin
Pushing the envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions. CoRR (2014)

Patrick Trentin.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Patrick Trentin