1 paper
Nestan Tsiskaridze, Clark Barrett, Cesare Tinelli
Optimization Modulo Theories (OMT) has emerged as an important extension of the highly successful Satisfiability Modulo Theories (SMT) paradigm. The OMT problem requires solving an…