88 citations · 340 across the 23 of their papers we have counts for
4 papers · 2 filters
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…
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…
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories
Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani
The problem of finding small unsatisfiable cores for SAT formulas has recently received a lot of interest, mostly for its applications in formal verification. However, propositiona…
Automated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K(m)/ALC-Satisfiability
Roberto Sebastiani, Michele Vescovi
In the last two decades, modal and description logics have been applied to numerous areas of computer science, including knowledge representation, formal verification, database the…