127 citations · 203 across the 11 of their papers we have counts for
1 paper · 2 filters
Shaowei Cai, Bohan Li, Xindi Zhang
Satisfiability Modulo Theories (SMT) refers to the problem of deciding the satisfiability of a formula with respect to certain background first order theories. In this paper, we fo…