Articles with public access mandates - Bohan LiLearn more
Available somewhere: 6
Local search for SMT on linear integer arithmetic
S Cai, B Li, X Zhang
International Conference on Computer Aided Verification, 227-248, 2022
Mandates: National Natural Science Foundation of China
Nucds: An efficient local search algorithm for minimum connected dominating set
B Li, X Zhang, S Cai, J Lin, Y Wang, C Blum
Proceedings of the Twenty-Ninth International Conference on International …, 2021
Mandates: Chinese Academy of Sciences, National Natural Science Foundation of China
Efficient local search based on dynamic connectivity maintenance for minimum connected dominating set
X Zhang, B Li, S Cai, Y Wang
Journal of Artificial Intelligence Research 71, 89-119, 2021
Mandates: Chinese Academy of Sciences, National Natural Science Foundation of China
Local Search For Satisfiability Modulo Integer Arithmetic Theories
S Cai, B Li, X Zhang
ACM Transactions on Computational Logic 24 (4), 1-26, 2023
Mandates: Chinese Academy of Sciences, National Natural Science Foundation of China
Efficient Local Search for Nonlinear Real Arithmetic
Z Wang, B Zhan, B Li, S Cai
International Conference on Verification, Model Checking, and Abstract …, 2023
Mandates: National Natural Science Foundation of China
Improving Local Search for Minimum Weighted Connected Dominating Set Problem by Inner-Layer Local Search
B Li, K Wang, Y Wang, S Cai
27th International Conference on Principles and Practice of Constraint …, 2021
Mandates: National Natural Science Foundation of China
Publication and funding information is determined automatically by a computer program