127 citations · 203 across the 11 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2023★ 1 cited
Local Search For SMT On Linear and Multilinear Real Arithmetic
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…
cs.LO2022★ 1 cited
Local Search For Satisfiability Modulo Integer Arithmetic Theories
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…