Bohan Li

According to our database, Bohan Li authored at least 8 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Efficient Local Search for Nonlinear Real Arithmetic.

Zhonghan Wang, Bohua Zhan, Bohan Li, Shaowei Cai

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

2023

Local Search For Satisfiability Modulo Integer Arithmetic Theories.

Shaowei Cai, Bohan Li, Xindi Zhang

ACM Trans. Comput. Log., October, 2023

Local Search For SMT On Linear and Multilinear Real Arithmetic.

Bohan Li, Shaowei Cai

CoRR, 2023

Local Search For SMT On Linear and Multi-linear Real Arithmetic.

Bohan Li, Shaowei Cai

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2022

Local Search for SMT on Linear Integer Arithmetic.

Shaowei Cai, Bohan Li, Xindi Zhang

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Efficient Local Search based on Dynamic Connectivity Maintenance for Minimum Connected Dominating Set.

Xindi Zhang, Bohan Li, Shaowei Cai, Yiyuan Wang

J. Artif. Intell. Res., 2021

Improving Local Search for Minimum Weighted Connected Dominating Set Problem by Inner-Layer Local Search.

Bohan Li, Kai Wang, Yiyuan Wang, Shaowei Cai

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

2020

NuCDS: An Efficient Local Search Algorithm for Minimum Connected Dominating Set.

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

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020