23 citations · 28 across the 4 of their papers we have counts for
4 papers
On Optimization Modulo Theories, MaxSMT and Sorting Networks
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…
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…
Structured Learning Modulo Theories
Stefano Teso, Roberto Sebastiani, Andrea Passerini
Modelling problems containing a mixture of Boolean and numerical variables is a long-standing interest of Artificial Intelligence. However, performing inference and learning in hyb…
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…