2 citations · 2 across the 1 of their papers we have counts for
1 paper · 1 filter
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…