| NuQClq: An effective local search algorithm for maximum quasi-clique problem J Chen, S Cai, S Pan, Y Wang, Q Lin, M Zhao, M Yin Proceedings of the AAAI Conference on Artificial Intelligence 35 (14), 12258 …, 2021 | 15 | 2021 |
| An efficient local search for large-scale set-union knapsack problem Y Zhou, M Zhao, M Fan, Y Wang, J Wang Data Technologies and Applications 55 (2), 233-250, 2021 | 6 | 2021 |
| Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks P Yang, Z Chi, Z Liu, M Zhao, CC Huang, S Cai, L Zhang arXiv preprint arXiv:2302.06455, 2023 | 4 | 2023 |
| A fast local search algorithm for minimum sum coloring problem on massive graphs Y Li, M Zhao, X Zhang, Y Wang Computers & Operations Research 172, 106794, 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 |
| An Efficient Local Search Algorithm for Large GD Advertising Inventory Allocation with Multilinear Constraints X He, W Mao, Z Xu, Y Gu, Y Huang, Z Zu, L Wang, M Zhao, M Zou Proceedings of the 30th ACM SIGKDD Conference on Knowledge Discovery and …, 2024 | | 2024 |
| Distributed SMT Solving Based on Dynamic Variable-Level Partitioning M Zhao, S Cai, Y Qian International Conference on Computer Aided Verification, 68-88, 2024 | | 2024 |
| Z3++ at SMT-COMP 2023 S Cai, B Li, B Zhan, X Zhang, M Zhao | | |
