Sign in
Bohan Li
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 6
Top Topics
Integer Arithmetic
Propositional Theories
Simulated Annealing
Search Algorithm
Top Venues
CoRR
VMCAI (1)
ACM Trans. Comput. Log.
CAV (2)
</>
Publications
</>
Zhonghan Wang
,
Bohua Zhan
,
Bohan Li
,
Shaowei Cai
Efficient Local Search for Nonlinear Real Arithmetic.
VMCAI (1)
(2024)
Bohan Li
,
Shaowei Cai
Local Search For SMT On Linear and Multi-linear Real Arithmetic.
FMCAD
(2023)
Bohan Li
,
Shaowei Cai
Local Search For SMT On Linear and Multilinear Real Arithmetic.
CoRR
(2023)
Shaowei Cai
,
Bohan Li
,
Xindi Zhang
Local Search For Satisfiability Modulo Integer Arithmetic Theories.
ACM Trans. Comput. Log.
24 (4) (2023)
Shaowei Cai
,
Bohan Li
,
Xindi Zhang
Local Search For Satisfiability Modulo Integer Arithmetic Theories.
CoRR
(2022)
Shaowei Cai
,
Bohan Li
,
Xindi Zhang
Local Search for SMT on Linear Integer Arithmetic.
CAV (2)
(2022)