107 citations · 268 across the 12 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…