Patrick Trentin

Identifiers

• name variant Patrick Trentin 0.60 · backfill

Papers (4)

1. Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers cs.LO · 2019 · author #1
2. OpenMath and SMT-LIB cs.SC · 2018 · author #4
3. On Optimization Modulo Theories, MaxSMT and Sorting Networks cs.LO · 2017 · author #2
4. Pushing the envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions cs.LO · 2014 · author #2

Mentions

• 1410.5568 #2 · backfill · confidence 0.70 Patrick Trentin

Frequent Coauthors

• Roberto Sebastiani 4 shared papers
• James H. Davenport 1 shared papers
• Matthew England 1 shared papers