| Local search for SMT on linear integer arithmetic S Cai, B Li, X Zhang International Conference on Computer Aided Verification, 227-248, 2022 | 18 | 2022 |
| 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 | 13 | 2021 |
| 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 | 12 | 2021 |
| Local Search For Satisfiability Modulo Integer Arithmetic Theories S Cai, B Li, X Zhang ACM Transactions on Computational Logic 24 (4), 1-26, 2023 | 10 | 2023 |
| Local Search For SMT On Linear and Multi-linear Real Arithmetic B Li, S Cai CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN–FMCAD 2023, 168, 2023 | 7 | 2023 |
| Efficient Local Search for Nonlinear Real Arithmetic Z Wang, B Zhan, B Li, S Cai International Conference on Verification, Model Checking, and Abstract …, 2023 | 3 | 2023 |
| Deep Combination of CDCL (T) and Local Search for Satisfiability Modulo Non-Linear Integer Arithmetic Theory X Zhang, B Li, S Cai Proceedings of the IEEE/ACM 46th International Conference on Software …, 2024 | 2 | 2024 |
| 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 | 2 | 2021 |
| Yicesls on smt comp2021 S CAI, B LI, X ZHANG | 1 | 2021 |
| SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout B Li, D Li, M Fu, S Cai arXiv preprint arXiv:2411.12271, 2024 | | 2024 |
| A Local Search Algorithm for MaxSMT (LIA) X He, B Li, M Zhao, S Cai International Symposium on Formal Methods, 55-72, 2024 | | 2024 |
| Z3++ at SMT-COMP 2023 S Cai, B Li, B Zhan, X Zhang, M Zhao | | |
Shaowei CaiInstitute of Software, Chinese Academy of SciencesVerified email at ios.ac.cn
