| Deep cooperation of CDCL and local search for SAT S Cai, X Zhang Theory and Applications of Satisfiability Testing–SAT 2021: 24th …, 2021 | 29 | 2021 |
| Better decision heuristics in CDCL through local search and target phases S Cai, X Zhang, M Fleury, A Biere Journal of Artificial Intelligence Research 74, 1515-1563, 2022 | 15 | 2022 |
| Relaxed backtracking with rephasing X Zhang, S Cai Proceedings of SAT competition, 15-15, 2020 | 14 | 2020 |
| 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 | 12 | 2021 |
| Local search for SMT on linear integer arithmetic S Cai, B Li, X Zhang International Conference on Computer Aided Verification, 227-248, 2022 | 11 | 2022 |
| Improving cdcl via local search X Zhang, S Cai, Z Chen SAT COMPETITION 2021, 42, 2021 | 11 | 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 | 9 | 2021 |
| Parkissat: Random shuffle based and pre-processing extended parallel solvers with clause sharing X Zhang, Z Chen, S Cai SAT COMPETITION 2022, 51, 2022 | 7 | 2022 |
| Improving local search for structured SAT formulas via unit propagation based construct and cut initialization (short paper) S Cai, C Luo, X Zhang, J Zhang 27th International Conference on Principles and Practice of Constraint …, 2021 | 6 | 2021 |
| Four relaxed CDCL solvers S Cai, X Zhang SAT RACE 2019, 35, 2019 | 6 | 2019 |
| ReasonLS S Cai, X Zhang Proc. of SAT Competition, 52-53, 2018 | 5 | 2018 |
| Cdcl solvers with improved local search cooperation and pre-processing Z Chen, X Zhang, S Cai, P Lu SAT COMPETITION 2022, 37, 2022 | 4 | 2022 |
| Local Search For Satisfiability Modulo Integer Arithmetic Theories S Cai, B Li, X Zhang ACM Transactions on Computational Logic 24 (4), 1-26, 2023 | 3 | 2023 |
| Pure maxsat and its applications to combinatorial optimization via linear local search S Cai, X Zhang Principles and Practice of Constraint Programming: 26th International …, 2020 | 3 | 2020 |
| Integrating Exact Simulation into Sweeping for Datapath Combinational Equivalence Checking Z Chen, X Zhang, Y Qian, Q Xu, S Cai 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD), 1-9, 2023 | 1 | 2023 |
| Yicesls on smt comp2021 S CAI, B LI, X ZHANG | 1 | 2021 |
| 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 | | 2024 |
| CNF Generation of Arithmetic Circuits Z Chen, Y Qian, X Zhang, S Cai SAT COMPETITION 2023, 77, 0 | | |
| Computing Preferred Extensions for Abstract Argumentation X Zhang, S Cai SAT COMPETITION 2021, 67, 0 | | |
| PRS: A new parallel/distributed framework for SAT Z Chen, X Zhang, Y Qian, S Cai SAT COMPETITION 2023, 39, 0 | | |
Shaowei CaiInstitute of Software, Chinese Academy of SciencesVerified email at ios.ac.cn
