Bohan Li

欢迎来到 李博涵 的主页

我目前是中科工业人工智能研究院的特别研究助理，邮箱为bhli@iaii.ac.cn。

我在2025年由中科院软件研究所获得博士学位，导师是蔡少伟研究员。

我的主要研究方向是SMT问题的求解与应用、组合优化问题。

教育

2019-2025, 中科院软件研究所 计算机科学国家重点实验室, 博士

2015-2019, 华中科技大学, 学士

论文列表

  1. Bohan Li, Shaowei Cai: The Review of Solving Techniques and Applications for Incremental SAT/SMT Problems Journal of Software (中文CCF-A)

  2. Xiang He, Bohan Li, Mengyu Zhao, Shaowei Cai: A Local Search Algorithm for MaxSMT(LIA) FM 2024: 55-72 (CCF-A, 共同一作)

  3. 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)

  4. Zhonghan Wang, Bohua Zhan, Bohan Li, Shaowei Cai: Efficient Local Search for Nonlinear Real Arithmetic VMCAI 2024 (CCF-B)

  5. Shaowei Cai, Bohan Li, Xindi Zhang: Local Search For Satisfiability Modulo Integer Arithmetic Theories ACM Transactions on Computational Logic (CCF-B, 共同一作)

  6. Shaowei Cai, Bohan Li, Xindi Zhang: Local Search for SMT on Linear Integer Arithmetic. CAV (2) 2022: 227-248 (2022) (CCF-A, 共同一作)

  7. Bohan Li, Shaowei Cai: Local Search For SMT On Linear and Multilinear Real Arithmetic. FMCAD 2023 (CCF-C)

  8. 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)

  9. 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)

  10. 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)

奖项

2021年 国际SMT-COMP比赛QF_IDL theory冠军（中国首次在SMT-COMP获冠军）

2022年 国际SMT-COMP比赛多个赛道冠军，总分获得两枚金牌“最大领先奖”和“最大贡献奖”（大赛共设有6枚金牌）

2023年 国际SMT-COMP比赛多个赛道冠军，囊括整数算术理论所有冠军，总分获得“最大领先奖”和“最大贡献奖”

2025年 中科院院长优秀奖

2025年 中国科学院大学优秀毕业生、北京市优秀毕业生