| Solving (Weighted) Partial MaxSAT by Dynamic Local Search for SAT. Z Lei, S Cai IJCAI 7, 1346-52, 2018 | 79 | 2018 |
| Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability S Cai, Z Lei Artificial Intelligence 287, 103354, 2020 | 62 | 2020 |
| SATLike-c: Solver description Z Lei, S Cai, F Geng, D Wang, Y Peng, D Wan, Y Deng, P Lu MaxSAT Evaluation 2021, 19, 2021 | 21 | 2021 |
| Efficient local search for pseudo Boolean optimization Z Lei, S Cai, C Luo, H Hoos Theory and Applications of Satisfiability Testing–SAT 2021: 24th …, 2021 | 18 | 2021 |
| WCA: A weighting local search for constrained combinatorial test optimization Y Fu, Z Lei, S Cai, J Lin, H Wang Information and Software Technology 122, 106288, 2020 | 16 | 2020 |
| Nuwls-c: Solver description Y Chu, S Cai, Z Lei, X He MaxSAT Evaluation 2022, 28, 2022 | 13 | 2022 |
| Cashwmaxsat: Solver description Z Lei, S Cai, D Wang, Y Peng, F Geng, D Wan, Y Deng, P Lu MaxSAT Evaluation 2021, 8, 2021 | 11 | 2021 |
| Nudist: An efficient local search algorithm for (weighted) partial maxsat Z Lei, S Cai The Computer Journal 63 (9), 1321-1337, 2020 | 11 | 2020 |
| Solving set cover and dominating set via maximum satisfiability Z Lei, S Cai Proceedings of the AAAI Conference on Artificial Intelligence 34 (02), 1569-1576, 2020 | 11 | 2020 |
| Towards more efficient local search for pseudo-boolean optimization Y Chu, S Cai, C Luo, Z Lei, C Peng 29th International Conference on Principles and Practice of Constraint …, 2023 | 6 | 2023 |
| Cashwmaxsat-coreplus: Solver description Z Lei, Y Wang, S Pan, S Cai, M Yin MaxSAT Evaluation 2022, 1, 2022 | 5 | 2022 |
| Extended conjunctive normal form and an efficient algorithm for cardinality constraints Z Lei, S Cai, C Luo Proceedings of the Twenty-Ninth International Conference on International …, 2021 | 5 | 2021 |
| Optimizing local search-based partial MaxSAT solving via initial assignment prediction C Liu, G Liu, C Luo, S Cai, Z Lei, W Zhang, Y Chu, G Zhang Science China Information Sciences 68 (2), 1-15, 2025 | | 2025 |
| LIPIcs, Volume 307, CP 2024, Complete Volume}} P Shaw, IP Gent, F Rossi, M Anders, S Brenner, G Rattan, Z Chen, P Lin, ... 30th International Conference on Principles and Practice of Constraint …, 2024 | | 2024 |
| Deep Cooperation of Local Search and Unit Propagation Techniques X Chen, Z Lei, P Lu 30th International Conference on Principles and Practice of Constraint …, 2024 | | 2024 |
