NuCDS: An Efficient Local Search Algorithm for Minimum Connected Dominating Set. - Bohan Li 002; Xindi Zhang; Shaowei Cai 001; Jinkun Lin; Yiyuan Wang 002; Christian Blum 001 (IJCAI, 2020)

Improving Local Search for Minimum Weighted Connected Dominating Set Problem by Inner-Layer Local Search. - Bohan Li 002; Kai Wang; Yiyuan Wang 002; Shaowei Cai 001 (CP, 2021)

Efficient Local Search based on Dynamic Connectivity Maintenance for Minimum Connected Dominating Set. - Xindi Zhang; Bohan Li 002; Shaowei Cai 001; Yiyuan Wang 002 (J. Artif. Intell. Res., 2021)

Local Search for SMT on Linear Integer Arithmetic. - Shaowei Cai 001; Bohan Li 002; Xindi Zhang (CAV (2), 2022)

Local Search For SMT On Linear and Multi-linear Real Arithmetic. - Bohan Li 002; Shaowei Cai 001 (FMCAD, 2023)

Local Search For SMT On Linear and Multilinear Real Arithmetic. - Bohan Li 002; Shaowei Cai 001 (CoRR, 2023)

Local Search For Satisfiability Modulo Integer Arithmetic Theories. - Shaowei Cai 001; Bohan Li 002; Xindi Zhang (ACM Trans. Comput. Log., 2023)

A Local Search Algorithm for MaxSMT(LIA). - Xiang He 005; Bohan Li 002; Mengyu Zhao; Shaowei Cai 001 (FM (1), 2024)

Deep Combination of CDCL(T) and Local Search for Satisfiability Modulo Non-Linear Integer Arithmetic Theory. - Xindi Zhang; Bohan Li 002; Shaowei Cai 001 (ICSE, 2024)

Efficient Local Search for Nonlinear Real Arithmetic. - Zhonghan Wang; Bohua Zhan; Bohan Li 002; Shaowei Cai 001 (VMCAI (1), 2024)

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout. - Bohan Li 002; Dawei Li; Ming Fu; Shaowei Cai 001 (CoRR, 2024)