Bohan Li

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 8

Top Topics

Search Algorithm

Integer Arithmetic

Random Sat Instances

Top Venues

ACM Trans. Comput. Log.

Publications

Xindi Zhang, Bohan Li, Shaowei Cai
Deep Combination of CDCL(T) and Local Search for Satisfiability Modulo Non-Linear Integer Arithmetic Theory. ICSE (2024)
Zhonghan Wang, Bohua Zhan, Bohan Li, Shaowei Cai
Efficient Local Search for Nonlinear Real Arithmetic. VMCAI (1) (2024)
Xiang He, Bohan Li, Mengyu Zhao, Shaowei Cai
A Local Search Algorithm for MaxSMT(LIA). CoRR (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)