Patrick Trentin | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Matthew England
37 publications
James H. Davenport
20 publications
Roberto Sebastiani
17 publications
Francesco Contaldo
1 publication

research

∙ 12/03/2019

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

Optimization Modulo Theories (OMT) is an extension of SMT that allows fo...

0 Francesco Contaldo, et al. ∙

research

∙ 05/07/2019

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

Optimization Modulo Theories (OMT) is an important extension of SMT whic...

0 Patrick Trentin, et al. ∙

research

∙ 03/05/2018

OpenMath and SMT-LIB

OpenMath and SMT-LIB are languages with very different origins, but both...

0 James H. Davenport, et al. ∙