88 citations · 340 across the 23 of their papers we have counts for
1 paper · 2 filters
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…