activity
20142024
most citedOn Optimization Modulo Theories, MaxSMT and Sorting Networks

3 citations · 5 across the 6 of their papers we have counts for

collaborators
Showing 2014Show all

1 paper · 1 filter

cs.LO2014

Pushing the envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions

Roberto Sebastiani, Patrick Trentin

In the last decade we have witnessed an impressive progress in the expressiveness and efficiency of Satisfiability Modulo Theories (SMT) solving techniques. This has brought previo…