88 citations · 340 across the 23 of their papers we have counts for
1 paper · 1 filter
Roberto Sebastiani, Patrick Trentin
Optimization Modulo Theories (OMT) is an extension of SMT which allows for finding models that optimize given objectives. (Partial weighted) MaxSMT --or equivalently OMT with Pseud…