Bohan Li

Welcome to Bohan Li ( 李博涵 )’s HomePage

I am currently a phd candidate at institute of software, CAS, China, supervised by Professor Shaowei Cai.

Education

2019-2025, Institute of Software Chinese Academy of Sciences, Phd Student

2015-2019, Huazhong University of Science and Technology, Bachelor

Research

SMT solving, Combinatorial Optimization

Publication

Xiang He, Bohan Li, Mengyu Zhao, Shaowei Cai: A Local Search Algorithm for MaxSMT(LIA) International Symposium on Formal Methods (CCF-A, co-first author)

Xindi Zhang, Bohan Li, Shaowei Cai:

Deep Combination of CDCL(T) and Local Search for Satisfiability Modulo Non-Linear Integer Arithmetic Theory ICSE 2024: 125:1-125:13 (CCF-A)

Zhonghan Wang, Bohua Zhan, Bohan Li, Shaowei Cai:

Efficient Local Search for Nonlinear Real Arithmetic VMCAI 2024 (CCF-B)

Shaowei Cai, Bohan Li, Xindi Zhang:

Local Search For Satisfiability Modulo Integer Arithmetic Theories ACM Transactions on Computational Logic (CCF-B, co-first author)

Shaowei Cai, Bohan Li, Xindi Zhang:

Local Search for SMT on Linear Integer Arithmetic. CAV (2) 2022: 227-248 (2022) (CCF-A, co-first author)

Bohan Li, Shaowei Cai:

Local Search For SMT On Linear and Multilinear Real Arithmetic. FMCAD 2023 (CCF-C)

Xindi Zhang, Bohan Li, Shaowei Cai, Yiyuan Wang:

Efficient Local Search based on Dynamic Connectivity Maintenance for Minimum Connected Dominating Set. J. Artif. Intell. Res. 71: 89-119 (2021) (CCF-B)

Bohan Li, Kai Wang, Yiyuan Wang, Shaowei Cai:

Improving Local Search for Minimum Weighted Connected Dominating Set Problem by Inner-Layer Local Search. CP 2021: 39:1-39:16 (CCF-B)

Bohan Li, Xindi Zhang, Shaowei Cai, Jinkun Lin, Yiyuan Wang, Christian Blum:

NuCDS: An Efficient Local Search Algorithm for Minimum Connected Dominating Set. IJCAI 2020: 1503-1510 (CCF-A)

Awards

2021 First Place in the single query and Model Validation track in the QF_IDL division

2022 2 Gold Medals in SMT Competition 2022 (Z3++ solver)

2023 Biggest Lead and Largest Contribution winner of Model Validation Track in SMT Competition 2023 (Z3++ solver)