Bohan Li

14 papers A* 2A 1B 1Journal 7Unranked 3
YearRankTypeTitle / Venue / Authors
2024 — conf
A Local Search Algorithm for MaxSMT(LIA).
FM (1)
Xiang He, Bohan Li, Mengyu Zhao, Shaowei Cai
2024 J jnl
A Local Search Algorithm for MaxSMT(LIA).
CoRR
Xiang He, Bohan Li, Mengyu Zhao, Shaowei Cai
2024 A* conf
Deep Combination of CDCL(T) and Local Search for Satisfiability Modulo Non-Linear Integer Arithmetic Theory.
ICSE
Xindi Zhang, Bohan Li, Shaowei Cai
2024 — conf
Efficient Local Search for Nonlinear Real Arithmetic.
VMCAI (1)
Zhonghan Wang, Bohua Zhan, Bohan Li, Shaowei Cai
2024 J jnl
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout.
CoRR
Bohan Li, Dawei Li, Ming Fu, Shaowei Cai
2023 J jnl
Efficient Local Search for Nonlinear Real Arithmetic.
CoRR
Zhonghan Wang, Bohua Zhan, Bohan Li, Shaowei Cai
2023 B conf
Local Search For SMT On Linear and Multi-linear Real Arithmetic.
FMCAD
Bohan Li, Shaowei Cai
2023 J jnl
Local Search For SMT On Linear and Multilinear Real Arithmetic.
CoRR
Bohan Li, Shaowei Cai
2023 J jnl
Local Search For Satisfiability Modulo Integer Arithmetic Theories.
ACM Trans. Comput. Log.
Shaowei Cai, Bohan Li, Xindi Zhang
2022 J jnl
Local Search For Satisfiability Modulo Integer Arithmetic Theories.
CoRR
Shaowei Cai, Bohan Li, Xindi Zhang
2022 — conf
Local Search for SMT on Linear Integer Arithmetic.
CAV (2)
Shaowei Cai, Bohan Li, Xindi Zhang
2021 J jnl
Efficient Local Search based on Dynamic Connectivity Maintenance for Minimum Connected Dominating Set.
J. Artif. Intell. Res.
Xindi Zhang, Bohan Li, Shaowei Cai, Yiyuan Wang
2021 A conf
Improving Local Search for Minimum Weighted Connected Dominating Set Problem by Inner-Layer Local Search.
CP
Bohan Li, Kai Wang, Yiyuan Wang, Shaowei Cai
2020 A* conf
NuCDS: An Efficient Local Search Algorithm for Minimum Connected Dominating Set.
IJCAI
Bohan Li, Xindi Zhang, Shaowei Cai, Jinkun Lin, Yiyuan Wang, Christian Blum