23 citations · 28 across the 5 of their papers we have counts for
1 paper · 1 filter
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…