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)