Patrick Trentin

• Roberto Sebastiani and Patrick Trentin
  OptiMathSAT: A Tool for Optimization Modulo Theories..
  Journal of Automated Reasoning - JAR, 2018. Springer. Published online: December 15th 2018.
  DOI: https://doi.org/10.1007/s10817-018-09508-6

• Roberto Sebastiani and Patrick Trentin
  On Optimization Modulo Theories, MaxSMT and Sorting Networks.
  In proc. Tools and Algorithms for the Construction and Analysis of Systems, TACAS'17, 2017.
  LNCS, volume 10205, Springer.

• Roberto Sebastiani and Patrick Trentin
  OptiMathSAT: A Tool for Optimization Modulo Theories.
  In proc. Int. Conf. on Computer Aided verification, CAV'15, 2015.
  Part I, LNCS, volume 9206, Springer.
  (extended version)

• Roberto Sebastiani and Patrick Trentin
  Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions.
  In proc. Tools and Algorithms for the Construction and Analysis of Systems, TACAS'15, 2015.
  London, UK, April 2015. LNCS, volume 9035, Springer.
  (extended version)