Patrick Trentin

According to our database, Patrick Trentin authored at least 13 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2021

Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers.

Patrick Trentin, Roberto Sebastiani

J. Autom. Reason., 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

Proceedings of the Frontiers of Combining Systems - 13th International Symposium, 2021

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

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

OptiMathSAT: A Tool for Optimization Modulo Theories.

Roberto Sebastiani, Patrick Trentin

J. Autom. Reason., 2020

From MiniZinc to Optimization Modulo Theories, and Back.

Francesco Contaldo, Patrick Trentin, Roberto Sebastiani

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2020

2019

Optimization Modulo Theories with OptiMathSAT.

Patrick Trentin

PhD thesis, 2019

From MiniZinc to Optimization Modulo Theories, and Back (Extended Version).

Francesco Contaldo, Patrick Trentin, Roberto Sebastiani

CoRR, 2019

Optimization Modulo the Theory of Floating-Point Numbers.

Patrick Trentin, Roberto Sebastiani

Proceedings of the Automated Deduction - CADE 27, 2019

2018

OpenMath and SMT-LIB.

James H. Davenport, Matthew England, Roberto Sebastiani, Patrick Trentin

CoRR, 2018

2017

On Optimization Modulo Theories, MaxSMT and Sorting Networks.

Roberto Sebastiani, Patrick Trentin

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2016

On the Benefits of Enhancing Optimization Modulo Theories with Sorting Networks for MaxSMT.

Roberto Sebastiani, Patrick Trentin

Proceedings of the 14th International Workshop on Satisfiability Modulo Theories affiliated with the International Joint Conference on Automated Reasoning, 2016

2015

Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions.

Roberto Sebastiani, Patrick Trentin

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015