3 citations · 5 across the 6 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019★ 2 cited
From MiniZinc to Optimization Modulo Theories, and Back (Extended Version)
Francesco Contaldo, Patrick Trentin, Roberto Sebastiani
Optimization Modulo Theories (OMT) is an extension of SMT that allows for finding models that optimize objective functions. In this paper we aim at bridging the gap between Constra…
cs.LO2019
Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers
Patrick Trentin, Roberto Sebastiani
Optimization Modulo Theories (OMT) is an important extension of SMT which allows for finding models that optimize given objective functions, typically consisting in linear-arithmet…