127 citations · 203 across the 11 of their papers we have counts for
1 paper · 2 filters
Bohan Li, Shaowei Cai
Satisfiability Modulo Theories (SMT) has significant application in various domains. In this paper, we focus on quantifier-free Satisfiablity Modulo Real Arithmetic, referred to as…