We stand with Ukraine  

Bohan Li

Orcid: 0000-0003-1356-6057

Affiliations:
  • State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China


According to our database1, Bohan Li authored at least 10 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Efficient Local Search for Nonlinear Real Arithmetic.
[BibTeX]
[DOI]
Zhonghan Wang
,
Bohua Zhan
,
Bohan Li
,
Shaowei Cai
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

Deep Combination of CDCL(T) and Local Search for Satisfiability Modulo Non-Linear Integer Arithmetic Theory.
[BibTeX]
[DOI]
Xindi Zhang
,
Bohan Li
,
Shaowei Cai
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

A Local Search Algorithm for MaxSMT(LIA).
[BibTeX]
[DOI]
Xiang He
,
Bohan Li
,
Mengyu Zhao
,
Shaowei Cai
Proceedings of the Formal Methods - 26th International Symposium, 2024

2023
Local Search For Satisfiability Modulo Integer Arithmetic Theories.
[BibTeX]
[DOI]
Shaowei Cai
,
Bohan Li
,
Xindi Zhang
ACM Trans. Comput. Log., October, 2023

Local Search For SMT On Linear and Multilinear Real Arithmetic.
[BibTeX]
[DOI]
Bohan Li
,
Shaowei Cai
CoRR, 2023

Local Search For SMT On Linear and Multi-linear Real Arithmetic.
[BibTeX]
[DOI]
Bohan Li
,
Shaowei Cai
Proceedings of the Formal Methods in Computer-Aided Design, 2023

2022
Local Search for SMT on Linear Integer Arithmetic.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Bohan Li
,
Xindi Zhang
,
Shaowei Cai
,
Jinkun Lin
,
Yiyuan Wang
,
Christian Blum
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020


  Loading...