Patrick Trentin
Identifiers
- name variant Patrick Trentin 0.60 · backfill
Papers (4)
- Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers cs.LO · 2019 · author #1
- OpenMath and SMT-LIB cs.SC · 2018 · author #4
- On Optimization Modulo Theories, MaxSMT and Sorting Networks cs.LO · 2017 · author #2
- 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