activity
20122023
most citedOptimization in SMT with LA(Q) Cost Functions

23 citations · 28 across the 5 of their papers we have counts for

collaborators
Showing cs.LOShow 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…