Patrick Trentin

18 papers A 2B 1Journal 8Unranked 6

Year	Rank	Type	Title / 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