Patrick Trentin

18 papers A 2B 1Journal 8Unranked 6
YearRankTypeTitle / Venue / Authors
2024 — conf
DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories.
TACAS (1)
Nick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike, John Backes
2024 J jnl
DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories.
CoRR
Nick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike, John Backes
2021 — conf
Debugging Network Reachability with Blocked Paths.
CAV (2)
Sam Bayless, John D. Backes, Dan DaCosta, Benjamin F. Jones, Nate Launchbury, Patrick Trentin, Kelsey Jewell, Sagar Joshi, Michael Q. Zeng, Nandita Mathews
2021 — conf
Optimization Modulo Non-linear Arithmetic via Incremental Linearization.
FroCoS
Filippo Bigarella, Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Martin Jonás, Marco Roveri, Roberto Sebastiani, Patrick Trentin
2021 J jnl
Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers.
J. Autom. Reason.
Patrick Trentin, Roberto Sebastiani
2020 B conf
From MiniZinc to Optimization Modulo Theories, and Back.
CPAIOR
Francesco Contaldo, Patrick Trentin, Roberto Sebastiani
2020 J jnl
OptiMathSAT: A Tool for Optimization Modulo Theories.
J. Autom. Reason.
Roberto Sebastiani, Patrick Trentin
2019 J jnl
From MiniZinc to Optimization Modulo Theories, and Back (Extended Version).
CoRR
Francesco Contaldo, Patrick Trentin, Roberto Sebastiani
2019 — —
Optimization Modulo Theories with OptiMathSAT.
Patrick Trentin
2019 J jnl
Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers.
CoRR
Patrick Trentin, Roberto Sebastiani
2019 A conf
Optimization Modulo the Theory of Floating-Point Numbers.
CADE
Patrick Trentin, Roberto Sebastiani
2018 J jnl
OpenMath and SMT-LIB.
CoRR
James H. Davenport, Matthew England, Roberto Sebastiani, Patrick Trentin
2017 — conf
On Optimization Modulo Theories, MaxSMT and Sorting Networks.
TACAS (2)
Roberto Sebastiani, Patrick Trentin
2017 J jnl
On Optimization Modulo Theories, MaxSMT and Sorting Networks.
CoRR
Roberto Sebastiani, Patrick Trentin
2016 — conf
On the Benefits of Enhancing Optimization Modulo Theories with Sorting Networks for MaxSMT.
SMT@IJCAR
Roberto Sebastiani, Patrick Trentin
2015 — conf
OptiMathSAT: A Tool for Optimization Modulo Theories.
CAV (1)
Roberto Sebastiani, Patrick Trentin
2015 A conf
Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions.
TACAS
Roberto Sebastiani, Patrick Trentin
2014 J jnl
Pushing the envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions.
CoRR
Roberto Sebastiani, Patrick Trentin