23 citations · 23 across the 1 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…