23 citations · 23 across the 1 of their papers we have counts for
2 papers
cs.LO2014
Optimization Modulo Theories with Linear Rational Costs
Roberto Sebastiani, Silvia Tomasi
In the contexts of automated reasoning (AR) and formal verification (FV), important decision problems are effectively encoded into Satisfiability Modulo Theories (SMT). In the last…
cs.AI2012★ 23 cited
Optimization in SMT with LA(Q) Cost Functions
Roberto Sebastiani, Silvia Tomasi
In the contexts of automated reasoning and formal verification, important decision problems are effectively encoded into Satisfiability Modulo Theories (SMT). In the last decade ef…